Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.”https://doi.org/10.1145/384197.384208__In Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 64–72. ACM, 2001.https://doi.org/10.1145/384197.384208 .