The impact of safety and reliability requirements on the specification of control systemsMõtus, LeoPostprints of IFAC Workshop on Safety, Reliability and Applications of Emerging Intelligent Control Technologies, 12-14 December, Hong Kong, 19941994 / p. 88-96https://www.sciencedirect.com/science/article/pii/S1474667017457144