Michael Siegel, Adriana Maggiore, Christian Pichler: Untwist your brain: efficient debugging and diagnosis of complex assertions. DAC 2009: 644-647