@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}, }