Experimental and theoretical modelling of intra-aortic balloon pump operation