@InProceedings{a57,
  author = "G. Díaz and D. Cazorla and F. Pelayo and F. Cuartero and V. Valero",
  title = "Verifying and Capturing Probabilistic Bechaviours of Real-time Systems",
  booktitle = "19th Annual UK Performance Engineering Workshop",
  month = "july",
  year = "2003"
  }