An Automatic Technique to Synthesize Avionics Architecture. - Chau, Savio; Dang, Van; Xu, Joseph; Lu, James (2006)