Developing Safety - Critical Software A Practical Guide For Aviation Software And DO-178C Compliance - Rierson L.; Rierson L. (CRC Press, 2013)