Text this: MATHEMATICAL FOUNDATIONS OF SYSTEM SAFETY ENGINEERING :