Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour. - Robert Coleman; Vladimir Estivill-Castro; René Hexel; Carl Lusty (SIMPAR, 2012)

High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines. - Vladimir Estivill-Castro; René Hexel; Carl Lusty (SIMPAR, 2014)

Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware. - Dimitri Joukoff; Vladimir Estivill-Castro; René Hexel; Carl Lusty (RiTA, 2015)

Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. - Vladimir Estivill-Castro; René Hexel; Carl Lusty (MoDELS (Workshops), 2018)

TTWiFi: Time-Triggered Communication over WiFi. - Carl Lusty; Vladimir Estivill-Castro; René Hexel (DIVANet, 2021)

TTWiFi: Time-Triggered WiFi for Mobile Robotics in Human Environments. - Carl Lusty; Vladimir Estivill-Castro; René Hexel (WiCON, 2023)