@article{pardo2012rosa,
  title={ROSA Analyser: An automatized approach to analyse processes of ROSA},
  author={Pardo, Ra{\'u}l and Pelayo, Fernando L},
  journal={arXiv preprint arXiv:1207.2736},
  year={2012}
}