Power control system installation

The design of 1 distributed, safety-critical real-time systems is challenging due to their high complexity,

2 the potentially large number of components, and complicated requirements and environment assumptions that

3 stemfrominternational standards.We present a case study that shows that despite those challenges, the automated

4 formal verification of such systems is not only possible, but practicable even in the context of small to medium5

sized enterprises. We considered a wireless fire alarm system, regulated by the EN 54 standard