@Comment{ refnotes, namespace = "cite" } @misc{paulweber2017rms-talk, title = {{R}ob{M}o{S}ys meets {CASM}}, author = {Paulweber, Philipp and Zdun, Uwe}, howpublished = {RobMoSys'17 Talk Slides}, month = {August}, year = {2017}, note = {\url{https://casm-lang.org/_media/presentation/paulweber2017rms.pdf}}, }