Section outline

    • Principles of Cyber-Physical Systems, Rajeev Alur, MIT Press, 2015
    • Introduction to Embedded Systems: A CPS approach, free copy here
    • André Platzer, Logical Foundations of Cyber-Physical Systems, Springer, Cham, 2018.
    • Principle of Model Cheking, Baier, Katoen, MIT Press, 2008