N. S. Kumar, R. Singh, and M. Ahmad, “AS-Logic: Computing the Tipping Point in Asymptomatic Severe Aortic Stenosis”, ST, vol. 3, no. 1, Jun. 2026.