Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter. An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. In Judi Romijn, Graeme Smith, Jaco van de Pol, editors, Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings. Volume 3771 of Lecture Notes in Computer Science, pages 129-149, Springer, 2005. [doi]
Abstract is missing.