@Comment{ refnotes, namespace = "cite" } @misc{paulweber2018abz-talk, title = {{CASM-IR}: {U}niform {ASM}-{B}ased {I}ntermediate {R}epresentation for {M}odel {S}pecification, {E}xecution, and {T}ransformation}, author = {Paulweber, Philipp and Pescosta, Emmanuel and Zdun, Uwe}, howpublished = {ABZ'18 Talk Slides}, month = {June}, year = {2018}, note = {\url{https://casm-lang.org/presentation/paulweber2018abz.pdf}} }