Electronic Communications of the EASST Volume 45 ( 2011 ) Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems ( FMIS 2011 ) The benefits of formalising interactive number entry Case studies with drug infusion pumps