Mathematical Foundations of System Safety Engineering