Rimvydas Ruksenas, Paolo Masci, Paul Curzon. Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. In Luigia Petre, Emil Sekerinski, editors, From Action Systems to Distributed Systems - The Refinement Approach. pages 215-230, Chapman and Hall/CRC, 2016. [doi]
Abstract is missing.