@inproceedings{ICSE-1988-HarelLNPPSS,
	acmid         = "55861",
	author        = "David Harel and Hagi Lachover and Amnon Naamad and Amir Pnueli and Michal Politi and Rivi Sherman and Aharon Shtull-Trauring",
	booktitle     = "{Proceedings of the 10th International Conference on Software Engineering}",
	editor        = "Tan Chin Nam and Larry E. Druffel and Bertrand Meyer",
	isbn          = "0-8186-0849-8",
	pages         = "396--406",
	publisher     = "{IEEE Computer Society}",
	title         = "{STATEMATE; A Working Environment for the Development of Complex Reactive Systems}",
	year          = 1988,
}