    @inproceedings {1735,
	title = {Especificaci{\'o}n formal y verificaci{\'o}n de requisitos de Seguridad},
	booktitle = {VIII Reuni{\'o}n Espa{\~n}ola sobre Criptolog{\'\i}a y Seguridad de la Informaci{\'o}n (VIII RECSI)},
	year = {2004},
	month = {Sep 2004},
	pages = {225-235},
	address = {Madrid (Spain)},
	isbn = {84-7978-650-7},
	author = {Isaac Agudo and Javier Lopez and Juan J. Ortega}
}
