Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real Time Computer SystemsSAFECOMP '86 (Conference) (Sarlat)₹4,050