@INPROCEEDINGS{PCVC99,
  author = "F.L. Pelayo and F. Cuartero and V. Valero and D. Cazorla and T. Olivares",
  title = "{Specification and Performance of the MPEG-2 Video Encoder by Using the Stochastic Process Algebra: Rosa}",
  booktitle = "Proceedings of the 17th Annual UK Performance Engineering Workshop. UKPEW'2001.",
  pages = "105-116",
  editor = "K. Djemame, Mourad Kara",
  year = "2001",
}