Digital avionics handbook - Spitzer, Cary R. (Electrical engineering handbook series, 2007)