Thomas A. Henzinger Benjamin Horowitz Christoph M. Kirsch Embedded Control Systems Development with Giotto. 64-72 2001 conf/lctrts/2001 LCTES/OM db/conf/lctrts/lctes2001.html#HenzingerHK01