J. Campos and M. Harrison, “Modelling and analysing the interactive behaviour of an infusion pump”, ECEASST, vol. 45, Sep. 2011.