Campos, J. and Harrison, M. (2011) “Modelling and analysing the interactive behaviour of an infusion pump”, Electronic Communications of the EASST, 45. doi: 10.14279/tuj.eceasst.45.641.