Specification of supervisory control systems for ventricular assist devices.