A design pattern for using non-developmental items in real-time Java. - Thomas W. Otani; Mikhail Auguston; Thomas S. Cook; Doron Drusinsky; James Bret Michael; Man-tak Shing (JTRES, 2007)

Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. - Doron Drusinsky; James Bret Michael; Thomas W. Otani; Man-tak Shing (SSIRI, 2008)

Integrating statechart assertions into Java components using AspectJ. - Doron Drusinsky; James Bret Michael; Thomas W. Otani; Man-tak Shing (SoSE, 2008)

Software reuse in the IV&V of system of systems. - Thomas W. Otani; James Bret Michael; Man-tak Shing (SoSE, 2009)

Removing the Boundaries: Steps Toward a Cloud Nirvana. - Kevin D. Foster; John J. Shea; Doron Drusinsky; James Bret Michael; Thomas W. Otani; Man-tak Shing (GrC, 2010)

Cloud Computing for Large-Scale Weapon Systems. - Kevin D. Foster; John J. Shea; James Bret Michael; Thomas W. Otani; Loren E. Peitso; Man-tak Shing (GrC, 2010)

Goal-driven software reuse in the IV&V of system of systems. - Thomas W. Otani; James Bret Michael; Man-tak Shing (SoSE, 2010)

Putting order into the cloud: Object-oriented UML-based enforcement for document and application organization. - Doron Drusinsky; J. Bret Michael; Thomas W. Otani; Man-tak Shing (SoSE, 2011)

Verification and Validation for Trustworthy Software Systems. - James Bret Michael; Doron Drusinsky; Thomas W. Otani; Man-tak Shing (IEEE Softw., 2011)