The Safety Requirements Decomposition Pattern.

Pablo Oliveira Antonino, Mario Trapp, Paulo Barbosa, Edmar C. Gurjao, Jeferson Rosrio

Browse the full SAFECOMP paper archive.