R. Rukšėnas, P. Masci, M. Harrison, and P. Curzon, “Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach”, eceasst, vol. 69, Oct. 2014.