Fig. 5From: Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical SystemsThe Rebeca code for the door controller case study. This is revised version of the Rebeca code in [19] where the code is adjusted to include the running state of the trainBack to article page