Mathematically Derived Criteria for Detecting Functionally Significant Stenoses Using Coronary Computed Tomographic Angiography-Based Myocardial Segmentation and Intravascular Ultrasound-Measured Minimal Lumen Area.