Distributed Real-Time Software for Cyber–Physical Systems
Actor-Oriented Design of Embedded Hardware and Software Systems