Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno. Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates. In 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012. pages 3-4, IEEE, 2012. [doi]
Abstract is missing.