Embedded control systems development with giotto. (2001)

by C M Kirsch T Henzinger, B Horowitzm
Venue:In Proc. of ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES’2001),