G. Zheng, ATR: Template-Based Repair for Alloy Specifications, JAIIO, vol. 8, n.º 3, pp. 71-71, dic. 2022.