Statechart based formal modeling of workflow processes. - Michael A. Schumann; James Bret Michael (SoSE, 2009)

Atomic-Level Security for Web Applications in a Cloud Environment. - Arnold Brown; Benjamin Apple; James Bret Michael; Michael A. Schumann (Computer, 2012)

Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes. - Michael A. Schumann; Doron Drusinsky; James Bret Michael; Duminda Wijesekera (IEEE Trans. Software Eng., 2014)