Peter A. Lindsay, John A. McDermid, David J. Tombs. Deriving Quantified Safety Requirements in Complex Systems. In Floor Koornneef, Meine van der Meulen, editors, Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings. Volume 1943 of Lecture Notes in Computer Science, pages 117-130, Springer, 2000. [doi]
Abstract is missing.