@inproceedings{sepp12gdsl,
  author = {A. Sepp and J. Kranz and A. Simon},
  title = {{GDSL}: {A} {G}eneric {D}ecoder {S}pecification {L}anguage for {I}nterpreting {M}achine {L}anguage},
  booktitle = {Tools for Automatic Program Analysis},
  month = {September},
  year = 2012,
  pages = {53-64},
  series = {ENTCS},
  volume = {289},
  publisher = {Springer},
  doi = {10.1016/j.entcs.2012.11.006 },
  address = {Deauville, France},
}