1. E. A. Lee and S. A. Seshia , Introduction to embedded systems: A cyber-physical systems approach . MIT Press , 2016 . E. A. Lee and S. A. Seshia, Introduction to embedded systems: A cyber-physical systems approach. MIT Press, 2016.
2. Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design
3. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*
4. P. Nuzzo , "From electronic design automation to cyber-physical system design automation : A tale of platforms and contracts," in Proceedings of the International Symposium on Physical Design (ISPD) , p. 117 -- 121 , 2019 . P. Nuzzo, "From electronic design automation to cyber-physical system design automation: A tale of platforms and contracts," in Proceedings of the International Symposium on Physical Design (ISPD), p. 117--121, 2019.
5. Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities