@misc{indiciae5643430172eb,
  title = {Modeling State in Software Debugging of VHDL-RTL Designs -- A Model-Based Diagnosis Approach},
  author = {Bernhard Peischl and Franz Wotawa},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0311001},
  note = {Source identifier: cs/0311001}
}