Vitalsource Technologies, Inc. Safety Of Computer Control Systems 1986 (safecomp '86) Trends In Safe R