Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks | IEEE Conference Publication | IEEE Xplore