1. Tamagotchis need not die-Verification of STATEMATE designs;Brockmeyer;Lecture Notes in Computer Science.,1998
2. A model-based approach to automated hazard identification of chemical plants;Catino;AIChE Journal,1995
3. Modelling and safety verification of discrete/continuous processing systems using discrete time domain models. Workshop on Analysis and Design of Event-Driven Operations in Process Systems, London, UK;Dimitriadis,1995
4. European Process Safety Centre (1998). Knowledge-based HazOps progress in computer emulation. Technical Report No. 4, EPSC, London.
5. HAZEXPERT: an integrated expert system to support hazard analysis in process plant design;Göring;Computers & Chemical Engineering,1993