Michael Roth, Agus Hartoyo, Peter Liggesmeyer. Efficient reachability graph development for qualitive analysis of state/event fault trees. In 2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015. pages 144-151, IEEE, 2015. [doi]
Abstract is missing.