"Abstraction and refinement techniques in automated design debugging."

Sean Safarpour, Andreas G. Veneris (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics