Jonas Rox, Rolf Ernst: Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks. DATE 2010: 226-231