Text this: Mathematical Foundations of System Safety Engineering :