Similar Safety of Computer Control Systems 1983 (Safecomp '83). Achieving Safe Real Time Computer Systems