The design of real-time embedded systems has become more challenging due to growing complexity of these systems. Still, software is the main driving force of innovations in many industries. This makes it especially worth ...