This section targets the two following objectives: O1: Illustrate how to abstract code into models; O2: Identify how to operationalize models according to different targets (e.g., ease of development, intended users) Here we choose a subdomain of reactive systems, namely, programming a micro-controller reacting to tiny sensors and operating on actuators. However, the modeling and … Continue reading From Code to Models