Learning about CPS modeling languages

This week Adam started reading the monograph Languages and tools for hybrid systems design by Carloni, Passerone, Pinto and Sangiovanni-Vincentelli. It is a survey of various approaches to modeling and simulation of hybrid systems including verification tools, programming languages and modeling environments. These disparate software applications are compared to each other and illustrated using two example models.