Fig. 8From: Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical SystemsThe simplified state diagram of a livelock bug in the door controller case study that happens with a specific setting for timing parametersBack to article page