@inproceedings { 113,
	title = {Model Checking Early Requirements Specifications in Tropos.},
	journal = {RE-2001, the 9th IEEE International Requirements Engineering Conference.},
	year = {2001},
	address = {Toronto, Canada},
	keywords = {pub},
	author = {Ariel Fuxman and John Mylopoulos and Marco Pistore and Paolo Traverso}
}