Avionics Development and implementation - Spitzer , Cary R. (CRC Press, 2007)