<?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%">Blandford, Ann</style></author><author><style face="normal" font="default" size="100%">Abigail Cauchi</style></author><author><style face="normal" font="default" size="100%">Paul Curzon</style></author><author><style face="normal" font="default" size="100%">Parisa Eslambolchilar</style></author><author><style face="normal" font="default" size="100%">Furniss, Dominic</style></author><author><style face="normal" font="default" size="100%">Andy Gimblett</style></author><author><style face="normal" font="default" size="100%">Huang, Huayi</style></author><author><style face="normal" font="default" size="100%">Paul Lee</style></author><author><style face="normal" font="default" size="100%">Yunqiu Li</style></author><author><style face="normal" font="default" size="100%">Paolo Masci</style></author><author><style face="normal" font="default" size="100%">Patrick Oladimeji</style></author><author><style face="normal" font="default" size="100%">Atish Rajkomar</style></author><author><style face="normal" font="default" size="100%">Rimvydas Rukš\.{e}nas</style></author><author><style face="normal" font="default" size="100%">Harold Thimbleby</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps</style></title><secondary-title><style face="normal" font="default" size="100%">Eics4Med, the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><publisher><style face="normal" font="default" size="100%">ACM Digital Library</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We report on a case study investigating current practice in the use of a programmable infusion pump. We start by formalising an existing description of the procedure followed by nurses for setting up a commercial infusion pump obtained via observation and interview. We then compare and contrast this procedure with a formal description of the sequence of actions reported in the pump's user manual. Mismatches were validated by a training manager. The aim of this comparison is to point out how minor mismatches between the two descriptions can be used to reveal major safety issues. Our contributions are: first, we analyse a real-world system and show the importance of having a clear and consistent specification of the procedures; second, we show how a graph-based notation can be conveniently used for building non-ambiguous and intuitive specifications. We argue that this can provide support to an investigator when building a description of actual practice in that it can help focus attention on areas to observe more closely and questions to ask to understand why procedures, as followed, are the way they are.&lt;/p&gt;
</style></abstract></record></records></xml>