@PHDTHESIS{Par03,
  author =       "Juan J. Pardo",
  title =        "{Descripción e implementación de TPPAL: un álgebra de procesos temporizados y probabilísticos}",
  school =       "Dep. of Computer Science. University of Castilla-La
Mancha",
  year =         "2003",
}