W. J. Quirk.Safety of computer control systems( 5th :1986 : France):trends in safe real time computer systems : proceedings of the Fifth IFAC workshop Sarlat, France, 14-17 October 1986.Pergamon Pr.,1986.
Safety of computer control systems( 5th :1986 : France):trends in safe real time computer systems : proceedings of the Fifth IFAC workshop Sarlat, France, 14-17 October 1986