Model-Based Engineering for Robotics with RoboChart and RoboTool. - Ana Cavalcanti 001; Ziggy Attala; James Baxter 001; Alvaro Miyazawa; Pedro Ribeiro 002 (ICTAC Summmer School, 2021)

Modelling and Verifying Robotic Software that Uses Neural Networks. - Ziggy Attala; Ana Cavalcanti 001; Jim Woodcock 001 (ICTAC, 2023)

Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software. - Ziggy Attala; Fang Yan 004; Simon Foster 001; Ana Cavalcanti 001; Jim Woodcock 001 (NFM, 2025)