P. Masci, “On formalising interactive number entry on infusion pumps”, ECEASST, vol. 45, Sep. 2011.