Bernhard Peischl Franz Wotawa Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach http://arxiv.org/abs/cs.AI/0311001 2003 CoRR cs.AI/0311001 db/journals/corr/corr0311.html#cs-AI-0311001 informal publication