Email Record: Safety of computer control systems, 1990 (SAFECOMP '90) :