Automated Refinement Procedure (ARP)