@TECHREPORT{a54,
  author = "G. Díaz and F. Cuartero and K. Larsen",
  title = "P\_UPPAAL a tool for capturing the probabilistic behaviour of UPPAAL models",
  institution = "Computer Science Department, University of Castilla -
La Mancha",
  year = "2002",
  number = "DIAB--02--01--33"
}