Lezuo, R., Barany, G., & Krall, A. (2013). CASM: Implementing an Abstract State Machine based programming language. In Software Engineering 2013, Workshopband, (inkl. Doktorandensymposium) (pp. 75–90). GI-Edition - Lecture Notes in Informatics (LNI). http://hdl.handle.net/20.500.12708/54693 ( reposiTUm)

Lezuo, R., & Krall, A. (2013). Using the CASM language for simulator synthesis and model verification. In Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation Methods and Tools - RAPIDO ’13. RAPIDO’13, Berlin, EU. https://doi.org/10.1145/2432516.2432522 ( reposiTUm)

Schreiner, D. (2012). Optimizing Compilers for Safety-Critical Robotic Systems. In G. Steinbauer & S. Uran (Eds.), Proceedings of the Austrian Robotics Workshop 2012. Verlag der TU Graz. http://hdl.handle.net/20.500.12708/54544 ( reposiTUm)

Lezuo, R., & Krall, A. (2012). A Unified Processor Model for Compiler Verification and Simulation Using ASM. In Abstract State Machines, Alloy, B, VDM, and Z (pp. 327–330). https://doi.org/10.1007/978-3-642-30885-7_24 ( reposiTUm)

Inführ, D. (2013). AST interpreter for CASM. http://hdl.handle.net/20.500.12708/37485 ( reposiTUm)