@INPROCEEDINGS{BVC97,
  author = "A. Bueno and V. Valero and F. Cuartero",
  title = "{TPAL}: A Timed-Probabilistic Model for Concurrent Processes",
  booktitle = "Proceedings of APSEC'97/ICSC'97",
  address = "Hong-Kong",
  year = "1997",
}