Digital avionics systems principles and pratice - SpitzerlhCary R. (1993)