@InProceedings{bras05,
  author = "M.E.Cambronero and A.P.Ravn and V.Valero",
  title = "Using UPPAAL to analyze an MPEG-2 algorithm ",
  booktitle = "In Proceedings of the Proceedings of 23º Simpósio Brasileiro de REdes de Computadores ( SBRC ). Y nuestro Workshop era WTR: VII Workshop Brasileiro de Tempo REal",
  address =  {Fortaleza (Brasil)},
  pages={73-82},
  year={2005}
}