Henzinger, T. A., Horowitz, B., &; Kirsch, C. (2001). Embedded control systems development with Giotto. In Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems (pp. 64–72). New York, NY, United States: ACM.https://doi.org/10.1145/384197.384208