<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Paolo Masci</style></author><author><style face="normal" font="default" size="100%">Huang, Huayi</style></author><author><style face="normal" font="default" size="100%">Paul Curzon</style></author><author><style face="normal" font="default" size="100%">Michael Harrison</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Using PVS to Investigate Incidents through the Lens of Distributed Cognition</style></title><secondary-title><style face="normal" font="default" size="100%">NASA Formal Methods</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></tertiary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">incident analysis</style></keyword><keyword><style  face="normal" font="default" size="100%">Socio-technical system</style></keyword><keyword><style  face="normal" font="default" size="100%">theorem proving</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/michaelharrison/files/mascinasa.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Berlin Heidelberg</style></publisher><volume><style face="normal" font="default" size="100%">7226</style></volume><pages><style face="normal" font="default" size="100%">273-278</style></pages><isbn><style face="normal" font="default" size="100%">978-3-642-28890-6</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;A systematic tool-based method is outlined that raises questions about the circumstances surrounding an incident: why it happened and what went wrong. The approach offers a practical and systematic way to apply a distributed cognition perspective to incident investigations, focusing on how available information resources (or the lack of them) may shape user action, rather than just on causal chains. This perspective supports a deeper understanding of the more systemic causes of incidents. The analysis is based on a higher order-logic model describing how information resources may have influenced the actions of those involved in the incident. The PVS theorem proving system is used to identify situations where available resources may afford unsafe user actions. The method is illustrated using a healthcare case study.&lt;/p&gt;
</style></abstract></record></records></xml>