Specification of supervisory control systems for ventricular assist devices - Cavalheiro, André César Martins; Santos Filho, Diolino Jose dos; Andrade, Aron José Pazin de; Cardoso, José Roberto; Horikawa, Oswaldo; Bock, Eduardo Guy Perpetuo; Fonseca, Jeison William Gomes da (Artificial Organs, 2011)