William E. Byrne

• Software design techniques for large Adasystems