%0 Book Section
%B From Action Systems to Distributed Systems: The Refinement Approach
%D 2016
%T Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
%A Ruksenas, Rimvydas
%A Paolo Masci
%A Paul Curzon
%I Taylor & Francis
%Z <p><a href="http://dx.doi.org/10.1201/b20053-21">http://dx.doi.org/10.1201/b20053-21</a></p>
%> https://haslab.uminho.pt/sites/default/files/masci/files/wp325.pdf