@inproceedings{LCTES-OM-2001-HenzingerHK,
	author        = "Thomas A. Henzinger and Benjamin Horowitz and Christoph M. Kirsch",
	booktitle     = "{Proceedings of the Joint Workshop on Languages, Compilers, and Tools for Embedded Systems and Workshop on Optimization of Middleware and Distributed Systems}",
	doi           = "10.1145/384197.384208",
	isbn          = "['1-58113-425-8', '1-58113-426-6']",
	pages         = "64--72",
	publisher     = "{ACM}",
	title         = "{Embedded Control Systems Development with Giotto}",
	year          = 2001,
}