Rukšėnas, R.; Masci, P.; Harrison, M.; Curzon, P. Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. ECEASST 2014, 69.