Nimal Nissanke, Hamdan Dammag. Risk Ordering of States in Safecharts. 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 395-405, Springer, 2000. [doi]
Abstract is missing.