Quantifiable Software Architecture for Dependable Systems of Systems. - Sheldon X. Liang; Joseph Puett; Luqi (WADS, 2003)

Quantifiable architecting of dependable systems of embedded systems. - Sheldon X. Liang; Valdis Berzins; Luqi (ACM SIGSOFT Softw. Eng. Notes, 2003)

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

"Automatic Prototype Generating" restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning. - Sheldon X. Liang; Lyle A. Reibling; Samuel Sambasivam (SIGAda, 2009)