@inbook {10.1201/b20053-21,
	title = {Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach},
	booktitle = {From Action Systems to Distributed Systems: The Refinement Approach},
	year = {2016},
	note = {<p><a href="http://dx.doi.org/10.1201/b20053-21">http://dx.doi.org/10.1201/b20053-21</a></p>
},
	publisher = {Taylor \& Francis},
	organization = {Taylor \& Francis},
	attachments = {https://haslab.uminho.pt/sites/default/files/masci/files/wp325.pdf},
	author = {Ruksenas, Rimvydas and Paolo Masci and Paul Curzon}
}