Merging of Use Case Models: Semantic Foundations. - Stephen C. Barrett; Daniel Sinnig; Patrice Chalin; Greg Butler (TASE, 2009)

Mirador: a synthesis of model matching strategies. - Stephen C. Barrett; Greg Butler; Patrice Chalin (IWMCP@ICMT, 2010)

Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador. - Stephen C. Barrett; Patrice Chalin; Greg Butler (ECMFA, 2011)

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)

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)