Fig. 2From: Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical SystemsThe system architecture for the door controller system related to the door controller case study from [19]. The dotted circles show the actors in the Rebeca codeBack to article page