Modelling the Turtle Python library in CSP. - Dara MacConville; Marie Farrell; Matt Luckcuck; Rosemary Monahan (AREA@IJCAI-ECAI, 2022)

CSP2Turtle: Verified Turtle Robot Plans. - Dara MacConville; Marie Farrell; Matt Luckcuck; Rosemary Monahan (Robotics, 2023)

Towards a Model Checker for Python: pymodcheck. - Dara MacConville; Rosemary Monahan (FTfJP@ECOOP, 2024)