@article{DBLP:journals/jss/AbeniMP12,
author = {Luca Abeni and Nicola Manica and Luigi Palopoli},
title = {Efficient and robust probabilistic guarantees for real-time tasks},
journal = {Journal of Systems and Software},
volume = {85},
number = {5},
year = {2012},
pages = {1147-1156},
ee = {http://dx.doi.org/10.1016/j.jss.2011.12.042},
bibsource = {DBLP, http://dblp.uni-trier.de} }