A Computationally Efficient Formal Optimization of Regional Myocardial Contractility in a Sheep With Left Ventricular Aneurysm | Synapse