CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. - Philipp Paulweber; Emmanuel Pescosta; Uwe Zdun (ABZ, 2018)

Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages. - Philipp Paulweber; Emmanuel Pescosta; Uwe Zdun (ABZ, 2020)

Bounded Model Checking of Speculative Non-Interference. - Emmanuel Pescosta; Georg Weissenbacher; Florian Zuleger (ICCAD, 2021)