@INPROCEEDINGS{pvcc01,
  author =    "J.J. Pardo and V. Valero and F. Cuartero and D. Cazorla",
  title =     "Automatic Translation of a Timed Process Algebra into Dynamic State Graphs.",
  booktitle = "Proceeding of Asian Pacific Software Engineering Conference",
  year =       "2001",
  month= "December",
  publisher= "IEEE Computer Society",
  pages="63-70"
}