Title: Safety of Computer Control Systems 1983 (Safecomp ' 83)