Developing safety-critical software : a practical guide for aviation software and DO-178c compliance - Rierson, Leanna, (CRC Press, 2013)