Author: IFAC Workshop on Safety of Computer Control Systems (1979 Stuttgart, Germany)