1. Tamagotchis Need Not Die — Verification of STATEMATE Designs;Brockmeyer;Lecture Notes in Computer Science,1998
2. 12.BimSchV, § 7;German BGBl. I,1993
3. A Model-Based Approach to Process Hazard Identification;Graf,1998
4. Ein modellbasierter, rechnergestützter Ansatz zur Gefahrenidentifikation während der Planungsphase von verfahrenstechnischen Anlagen;Graf,1998
5. Statecharts: A visual formalism for complex systems;Harel;Sc. of Comp. Progr.,1987