The Safety Requirements Decomposition Pattern. - Pablo Oliveira Antonino; Mario Trapp; Paulo Barbosa; Edmar C. Gurjao; Jeferson Rosário (SAFECOMP, 2015)