A nonsurgical porcine model of left ventricular dysfunction. Validation of myocardial viability using dobutamine stress echocardiography and positron emission tomography | Synapse