Most embedded systems are reactive by nature. They measure certain properties of their environment with sensors and react on changes. For example, they display something, move a motor, or send a ...

We then describe our implementation using UML class diagrams and provide a complete implementation in both C and C++. Taking the example of a simple digital watch, we demonstrate how to map a UML ...