Modelling, Mathematical Properties and Validation of the Inverse Ischemia Problem