@Inproceedings{EPTCS86.4,
  author    = {Pardo, Ra\'ul and L. Pelayo, Fernando},
  year      = {2012},
  title     = {ROSA Analyser: An automatized approach to analyse processes of ROSA},
  editor    = {Andr\'es, C\'esar and Llana, Luis },
  booktitle = {{\rm Proceedings 2nd Workshop on}
               Formal Methods in the Development of Software ,
               {\rm Paris, France, August 28, 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {86},
  publisher = {Open Publishing Association},
  pages     = {25-32},
  doi       = {10.4204/EPTCS.86.4},
}