The architectural specification of an avionic subsystem. - Leonor Maria Melo Torcato Barroca; John S. Fitzgerald; L. Spencer (WIFT, 1995)