Title: Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real Time Computer Systems