@inproceedings{RE-2001-JeffordsH,
	author        = "Ralph D. Jeffords and Constance L. Heitmeyer",
	booktitle     = "{Proceedings of the Fifth International Symposium on Requirements Engineering}",
	doi           = "10.1109/ISRE.2001.948558",
	isbn          = "0-7695-1125-2",
	pages         = "182--193",
	publisher     = "{IEEE Computer Society}",
	title         = "{An Algorithm for Strengthening State Invariants Generated from Requirements Specifications}",
	year          = 2001,
}