Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK. - Hariharan Thiagarajan; John Hatcliff; Jason Belt; Robby (SCAM, 2012)

Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling. - Hariharan Thiagarajan; Brian R. Larson; John Hatcliff; Yi Zhang 051 (IMBSA, 2020)

Awas: AADL information flow and error propagation analysis framework. - Hariharan Thiagarajan; John Hatcliff; Robby (Innov. Syst. Softw. Eng., 2022)