@TECHREPORT{pv01-14,
  author = "J.J. Pardo and V. Valero",
  title = "Herramienta de Ayuda al Diseño y Evaluación de Sistemas Concurrentes.",
  institution = "UCLM",
  year = "2001",
  number = "DIAB-01-01-14",
  note = "http://www.info-ab.uclm.es/sec-ab/Tecrep/diab010114.ps"
}