Mario Gleirscher, Carmen Cârlan. Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. In 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017. pages 53-60, IEEE, 2017. [doi]
Abstract is missing.