The Safety Requirements Decomposition Pattern

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]

@inproceedings{AntoninoTBGR15,
  title = {The Safety Requirements Decomposition Pattern},
  author = {Pablo Oliveira Antonino and Mario Trapp and Paulo Barbosa and Edmar C. Gurjäo and Jeferson Rosário},
  year = {2015},
  doi = {10.1007/978-3-319-24255-2_20},
  url = {http://dx.doi.org/10.1007/978-3-319-24255-2_20},
  researchr = {https://researchr.org/publication/AntoninoTBGR15},
  cites = {0},
  citedby = {0},
  pages = {269-282},
  booktitle = {Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings},
  editor = {Floor Koornneef and Coen van Gulijk},
  volume = {9337},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-24254-5},
}