1. DEC. 1982 MicroPower/Pascal User's Manuals. Digital Equipment Corporation, Maynard, Mass.
2. Safety and reliability-their terms and models of complex systems;Frey,1980
3. Functional redundancy to achieve high reliability;Gilbert,1980
4. Software diversity in reactor protection systems: an experiment;Gmeiner,1980
5. Design of resilient processing plants V - the effect of deadtime on dynamic resilience;Holt;Chem. Eng. Sci.,1985