SMS: Fault tolerant architectures for integrated aircraft electronics systems / Karl N. Levitt, P. Michael Melliar-Smith, Richard L. Schwartz.