1. Three Domain Voting in Real-time Distrib-uted Control Systems;Bass;2nd IEEE Euromicro Work-shop on Parallel and Distributed Processing,1994
2. Modelling the Cli-ent-Server Behaviour of Parallel Real-time Systems using Petri nets;Birkinshaw,1995
3. Safety-Critical Sys-tems, Formal Methods and Standards;Bowen;IEE/BCS Software Engineering Journal,1993
4. A High level Approach to Analysing Parallel Fault-tolerant Systems;Croll,1996
5. Software Safety: Why, What and How;Leveson;ACM Computing Surveys,1986