@INPROCEEDINGS{PCVC00,
  author = "F.L. Pelayo and F. Cuartero and V. Valero and D. Cazorla",
  title = "{An Example of Performance Evaluation by using the Stochastic Process Algebra: ROSA}",
  booktitle = "Proc. of the 7th International Conference on Real-Time
  Computing Systems and Applications (RTCSA 2000)",
  pages = "",
  publisher = "IEEE CS",
  year = "2000",
  month = "December",
  address = "Cheju Island, South Korea",
}