S. Sastry

Science of design for societal-scale cyber-physical systems: challenges and opportunities

C. Tomlin, J. Rieger, G. Karsai, 2019, Cyber-Physical Systems.

The Learning Federation LS&T R&D Roadmaps: Building Simulations & Exploration Environments R&D for Technology-Enabled Learning Systems

Janos Sztipanovits, J. Sztipanovits, S. Sastry, 2003 .

Foundations of Hybrid and Embedded Software Systems

P. Varaiya, R. Bajcsy, K. Keutzer, 2003 .

Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems. Multi-University Research Initiative on High-Confidence Design for Distributed Embedded Systems

Edward A. Lee, Gabor Karsai, Stephen P. Boyd, 2009 .