Fig. 4From: Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical SystemsSequence diagrams of the door controller case study showing the message passing between the actors Controller,Train,Passenger, and DoorBack to article page