Untwist Your Brain -- Efficient Debugging and Diagnosis of Complex Assertions. - Siegel, Michael; Maggiore, Adriana; Pichler, Christian (DAC: Annual ACM/IEEE Design Automation Conference, 2009)