M. Schumann

Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes

James Bret Michael, Duminda Wijesekera, Doron Drusinsky, 2014, IEEE Transactions on Software Engineering.

Use of Statechart Assertions for Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes

Michael A Schumann, M. Schumann, 2012 .