@inproceedings{ICRE-1993-Beeck,
	author        = "Michael von der Beeck",
	booktitle     = "{Proceedings of the Joint Conference on Requirements Engineering: Prototyping}",
	isbn          = "3-519-02682-1",
	pages         = "227--245",
	publisher     = "{Teubner}",
	series        = "{Berichte des German Chapter of the ACM}",
	title         = "{Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification}",
	volume        = 41,
	year          = 1993,
}