@inproceedings{RE-2001-FuxmanMPT,
	author        = "Ariel Fuxman and John Mylopoulos and Marco Pistore and Paolo Traverso",
	booktitle     = "{Proceedings of the Fifth International Symposium on Requirements Engineering}",
	doi           = "10.1109/ISRE.2001.948557",
	isbn          = "0-7695-1125-2",
	pages         = "174--181",
	publisher     = "{IEEE Computer Society}",
	title         = "{Model Checking Early Requirements Specifications in Tropos}",
	year          = 2001,
}