Mathematical foundations of system safety engineering : a road map for the future /: a road map for the future. ([2020])