Safety of computer control systems 1983 achieving safe real time computer systems ; proceedings of the 3. IFAC IFIP workshop, Cambridge, UK, 20 - 22 Sept. 1983 (Pergamon Press, 1983)