Masci P, Huang H, Curzon P, Harrison M.? 2012.??Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods. 7226:273-278.