The digital core avionics system - Roy, S.D. (My University, 1980)