@InProceedings{a55,
  author = "G. Díaz and D. Cazorla and F. Cuartero and V. Valero",
  title = "P\_UPPAAL a tool for capturing the probabilistic behaviour of UPPAAL models",
  booktitle = "In proceedings of the XI Jornadas de Concurrencia",
  address = "Benicassim",
  year = "2003"
  }