Campos, J.; Harrison, M. Modelling and Analysing the Interactive Behaviour of an Infusion Pump. eceasst 2011, 45.