Requirements specification for apps in medical application platforms. - Brian R. Larson; John Hatcliff; Sam Procter; Patrice Chalin (SEHC@ICSE, 2012)

Open source patient-controlled analgesic pump requirements documentation. - Brian R. Larson; John Hatcliff; Patrice Chalin (SEHC@ICSE, 2013)

BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software. - Brian R. Larson; Patrice Chalin; John Hatcliff (NASA Formal Methods, 2013)

Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. - Brian R. Larson; John Hatcliff; Kim R. Fowler; Julien Delange (HILT, 2013)

Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. - Ehsan Ahmad; Brian R. Larson; Stephen C. Barrett; Naijun Zhan; Yunwei Dong (HILT, 2014)

Formal semantics for the PACEMAKER system specification. - Brian R. Larson (HILT, 2014)

Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL. - Ehsan Ahmad; Yunwei Dong; Brian R. Larson; Jidong Lü; Tao Tang 004; Naijun Zhan (Sci. China Inf. Sci., 2015)

Enabling Safe Interoperation by Medical Device Virtual Integration. - Brian R. Larson; Yi Zhang 051; Stephen C. Barrett; John Hatcliff; Paul L. Jones (IEEE Des. Test, 2015)

Formal semantics of behavior specifications in the architecture analysis and design language standard. - Loïc Besnard; Thierry Gautier; Clément Guy; Paul Le Guernic; Jean-Pierre Talpin; Brian R. Larson; Etienne Borde (HLDVT, 2016)

A Unified Approach for Modeling, Developing, and Assuring Critical Systems. - John Hatcliff; Brian R. Larson; Jason Belt; Robby; Yi Zhang 051 (ISoLA (1), 2018)

Assurance Case Considerations for Interoperable Medical Systems. - Yi Zhang 051; Brian R. Larson; John Hatcliff (SAFECOMP Workshops, 2018)

The open PCA pump project: an exemplar open source medical device as a community resource. - John Hatcliff; Brian R. Larson; Todd Carpenter; Paul L. Jones; Yi Zhang 051; Joseph Jorgens (SIGBED Rev., 2019)

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)

Trusted Composition of Internet of Medical Things over Imperfect Networks. - Ehsan Ahmad; Brian R. Larson; Abdulbasid Banga (Future Internet, 2024)

Formalization of the AADL Run-Time Services with Time. - Brian R. Larson; Ehsan Ahmad (CoRR, 2025)