@conference {266, title = {Analyzing formal requirements specifications using an off-the-shelf model checker}, booktitle = {XXXIX Latin American Computing Conference (CLEI), Caracas (Naiguata), Venezuela, October 7-11, 2013}, year = {2013}, doi = {10.1109/CLEI.2013.6670611}, url = {http://dx.doi.org/10.1109/CLEI.2013.6670611}, author = {Gast{\'o}n Scilingo and Mar{\'\i}a Marta Novaira and Degiovanni, Renzo and Nazareno Aguirre} }