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