Risk management in life critical systems - Millot, Patrick (Wiley, 2014)