Safety of Computer Control Systems 1983 SAFECOMP 83 : Achieving Safe Real Time Computer Systems : 3rd Workshop : Papers by International Federation of Automatic Control | Menrva Books | MenrvaBooks