@inproceedings{DBLP:conf/lctrts/LezuoPK14,
  author    = {Roland Lezuo and
               Philipp Paulweber and
               Andreas Krall},
  title     = {CASM: optimized compilation of abstract state machines},
  booktitle = {LCTES},
  year      = {2014},
  pages     = {13-22},
  ee        = {http://doi.acm.org/10.1145/2597809.2597813},
}