@inproceedings{RE-2001-Traore,
	author        = "Issa Traoré",
	booktitle     = "{Proceedings of the Fifth International Symposium on Requirements Engineering}",
	doi           = "10.1109/ISRE.2001.948587",
	isbn          = "0-7695-1125-2",
	pages         = "287",
	publisher     = "{IEEE Computer Society}",
	title         = "{An Integrated V&V Environment for Critical Systems Development}",
	year          = 2001,
}