G. Zheng, “ATR: Template-Based Repair for Alloy Specifications”, JAIIO, vol. 8, no. 3, pp. 71-71, Dec. 2022.