Avionics development and implementation - Spitzer (Electrical engineering handbook, 2007)