Formal Methods in Automated Design Debugging