Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. - Karla Vanessa Morris Wright; Thai Son Hoang; Colin F. Snook; Michael J. Butler (ICTAC, 2023)

Semantics Formalisation - Modelling and Proving Strategies Using Event-B Versus Theories. - Thai Son Hoang; Colin F. Snook; Karla Vanessa Morris Wright; Laurent Voisin; Michael J. Butler (The Application of Formal Methods, 2024)

Semantics Formalisation - From Event-B Contexts to Theories. - Thai Son Hoang; Laurent Voisin; Karla Vanessa Morris Wright; Colin F. Snook; Michael J. Butler (ABZ, 2024)