Pablo Oliveira Antonino, Mario Trapp, Paulo Barbosa, Edmar C. Gurjäo, Jeferson Rosário. The Safety Requirements Decomposition Pattern. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings. Volume 9337 of Lecture Notes in Computer Science, pages 269-282, Springer, 2015. [doi]
Abstract is missing.