Masci, P. (2011) “On formalising interactive number entry on infusion pumps”, Electronic Communications of the EASST, 45. doi: 10.14279/tuj.eceasst.45.654.