“ATR: Template-based Repair for Alloy Specifications” paper was accepted to appear at ISSTA’22