@inproceedings{ICSE-1979-LauberBGS,
	acmid         = "802945",
	author        = "Rudolf Lauber and Joachim Biewald and Peter Göhner and H. Schelling",
	booktitle     = "{Proceedings of the Fourth International Conference on Software Engineering}",
	editor        = "Friedrich L. Bauer and Leon G. Stucki and Meir M. Lehman",
	pages         = "245--250",
	publisher     = "{IEEE Computer Society}",
	title         = "{EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems}",
	year          = 1979,
}