@TECHREPORT{pvrc01-1,
  author = "Pardo, Juan Jose,Valero,Valentin,Ruiz, MĒ Carmen and Cambronero,MĒ Emilia",
  title = "New Features of TPAL for the Specification and Analisis of Concurrent Systems",
  institution = "UCLM",
  year = "2002",
  number = "DIAB-02-01-25",
  note = "http://www.info-ab.uclm.es/sec-ab/Tecrep/diab020125.ps.zip"
}