Hello!

I'm interested in modelling and simulation of cyber-physical systems. I'm working through:

Edward Lee et al's "Introduction to Embedded Systems - A cyber-physical systems approach"

Edward Lee et al's "Structure and Interpretation of Signals and Systems"

Ricardo Sanfelice's course at https://www.coursera.org/learn/cyber-physical-systems-1

Three books that I'm considering to go deeper into modelling, verification, and simulation are Rajeev Alur's "Principles of Cyber-Physical Systems", Andre Platzer's "Logical Foundations of Cyber-Physical Systems", and Francois Cellier's "Continuous Systems Simulation". What are your opinions on these books?

Do you have any recommendations for other books, online courses, or other resources for going deeper into modelling, simulation, and verification of cyber-physical systems?

Thank you.