Fig. 3From: Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical SystemsThe state diagrams for the door controller case study. The name of the variables are chosen in a way to make the diagrams self-explanatory as much as possibleBack to article page