Vitalsource Technologies, Inc. Safety Of Computer Control Systems 1985 (safecomp '85)