Mathematical Foundations of System Safety Engineering : A Road Map for the Future