Safety engineering with COTS components. - Mark O'Halloran; Jon G. Hall; Lucia Rapanotti (Reliab. Eng. Syst. Saf., 2017)