Airborne electronic hardware design assurance a practitioner's guide to RTCA/DO-254 - Fulton, Randall; Vandermolen, Roy (CRC Press, 2015)