@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}
}