@inproceedings{entrialgo2004debugging, title={Debugging Time Behavior of Probabilistic Real-time Systems}, author={Entrialgo, J. and GarcÃa, J. and DÃaz, J.L. and GarcÃa, D.F.}, booktitle={Probabilistic Analysis Techniques for Real-time and Embedded Systems ({PARTES})}, year={2004}, organization={ACM}, type = {research}, url={http://www.atc.uniovi.es/rsa/starts/documents/Entrialgo_2004_partes.pdf} }