1. Advanced Robotics Research Limited (1992), ‘Safety and Standards for Advanced Robots - A First Exposition’, Report ARRL.92.009, 1992.
2. Atkinson, W. and Cunningham, J., 1991, ‘Proving properties of safety-critical systems’, IEE/BCS Software Eng. J., 6 (2), 41–50.
3. Bishop, P G(Ed), Dependability of Critical Computer Systems 3 - Techniques Directory, Elsevier Applied Science, London 1990
4. Bowen, J and Stavridon, V., (1992) ‘Safety-critical systems, formal methods and standards’, PRG-TR-S-92, Programming Research Group, Oxford university
5. Brooks R A, A robust Layered Control System for a Mobile Robot. IEEE Journal of Robotics, Vol RA-2, No 1, March 1986, pp 1423.