Safety of Computer Control Systems 1983 SAFECOMP 83 : Achieving Safe Real Time Computer Systems : 3rd Workshop : Papers by England) Ifac/Ifip Workshop 1983 (Cambridge | Menrva Books | MenrvaBooks