Joseph Sifakis. Rigorous design of cyber-physical systems. In 2012 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XII, Samos, Greece, July 16-19, 2012. pages 319, IEEE, 2012. [doi]
Abstract is missing.