Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model. - Sheldon X. Liang; Lyle A. Reibling; John Betts (SIGAda, 2008)