High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs. - Vladimir Estivill-Castro; René Hexel; Morgan McColl (ReConFig, 2018)

Enabling Modern Application Development with Swift on the Nao/Pepper Robots. - Callum McColl; Vladimir Estivill-Castro; Eugene Gilmore; Morgan McColl; René Hexel (RoboCup, 2021)

Verifiable Executable Models for Decomposable Real-time Systems. - Callum McColl; Vladimir Estivill-Castro; Morgan McColl; René Hexel (MODELSWARD, 2022)

Decomposable and Executable Models for Verification of Real-Time Systems. - Callum McColl; Vladimir Estivill-Castro; Morgan McColl; René Hexel (MODELSWARD (Revised Selected Papers), 2022)

Automatic Verification of High-Level Executable Models Running on FPGAs. - Morgan McColl; Callum McColl; René Hexel (ATVA, 2023)