Bernhard Peischl Franz Wotawa Error traces in model-based debugging of hardware description languages. 43-48 2005 conf/aadebug/2005 AADEBUG http://doi.acm.org/10.1145/1085130.1085136 db/conf/aadebug/aadebug2005.html#PeischlW05