Safety of computer control systems 1986 (safecomp '86) : Trends in safe real time computer systems / ed. by W. J. Quirk. Automatic control - data processing. 629.8312 S128s Includes index. New York : Pergamon, c1986. c1986. 1986 Text viii, 193 p. : eng International federation of automatic control.