@INPROCEEDINGS{PCVC99,
  author = "F.L. Pelayo and F. Cuartero and V. Valero and D. Cazorla",
  title = "{PPNAL: Performance Evaluation in an Algebraic Model for Probabilistic and
                         Non-deterministic Processes}",
  booktitle = "Proceedings of the Fifteenth Annual UK Performance Engineering Workshop",
  pages = "1-12",
  publisher = "Tech. Rep. CSTR-99-007, Dept. of Computer Science, University of Bristol",
  editor = "J.T.Bradley, N.J.Davies",
  year = "1999",
}