Intraaortic balloon pumping during low cardiac output: validation of a mathematical model | IEEE Conference Publication | IEEE Xplore