@INPROCEEDINGS{DCPCV-UKPEW03,  
author =       "Gregorio Díaz and Diego Cazorla and Fernando L. Pelayo and Fernando Cuartero and Valentín Valero",  
title =        "{Verifiyng and Capturing Probabilistic Behaviours of Real-Time Systems}",  
booktitle =    "Proc. of the 19th UK Performance Engineering Workshop (UKPEW'03)",  
publisher =    "University of Warwick",   
year =         "2003",  
month =        "July",  
address =      "Coventry, UK"
}