<?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%">Ruksenas, R.</style></author><author><style face="normal" font="default" size="100%">Paolo Masci</style></author><author><style face="normal" font="default" size="100%">Michael Harrison</style></author><author><style face="normal" font="default" size="100%">Paul Curzon</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach</style></title><secondary-title><style face="normal" font="default" size="100%">FMIS2013, 5th International Workshop on Formal Methods for Interactive Systems, London, UK, June 24, 2013</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/masci/files/964-2899-1-pb.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">ECEASST</style></publisher><volume><style face="normal" font="default" size="100%">69</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;It is common practice in the description of criteria for the acceptable safety of systems for the regulator to describe safety requirements that should be satisfied by the system. These requirements are typically described precisely but in natural language and it is often unclear how the regulator can be assured that the given requirements are satisfied. This paper is concerned with a rigorous refinement process that demonstrates that a precise requirement is satisfied by the specification of a given device. It focuses on a particular class of requirements that relate to the user interface of the device. For user interface requirements, refinement is made more complex by the fact that systems can use different interaction devices that have very different characteristics. The described refinement process recognises an input/output hierarchy.&lt;/p&gt;
</style></abstract></record></records></xml>