Mathematical foundations of system safety engineering a road map for the future (Springer, 2020)