@TECHREPORT{pv01-12,
  author = "Juan José Pardo Mateo and Valentín Valero Ruiz",
  title = "Traslating a Timed Process Algebra into a Dynamic State Graph.",
  institution = "UCLM",
  year = "2001",
  number = "DIAB-01-01-12",
  note = "http://www.info-ab.uclm.es/sec-ab/Tecrep/diab010112.ps"
}