Mathematical Foundations of System Safety Engineering - Zito, Richard R. (Springer International Publishing, 2020)