Digital avionics systems principles and practices - Spitzer lhCary R.