Model-based Testing of Autonomous Systems based on Coloured Petri Nets. - Raimar Lill; Francesca Saglietti (ARCS Workshops, 2012)

Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents. - Francesca Saglietti; Sven Söhnlein; Raimar Lill (Autonomous Systems: Developments and Trends, 2012)

Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. - Raimar Lill; Francesca Saglietti (DECS@SAFECOMP, 2013)

Testing the Cooperation of Autonomous Robotic Agents. - Raimar Lill; Francesca Saglietti (ICSOFT EA, 2014)

Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems. - Francesca Saglietti; David Fohrweiser; Stefan Winzinger; Raimar Lill (EUROMICRO-SEAA, 2015)

Reconfiguration Testing for Cooperating Autonomous Agents. - Francesca Saglietti; Stefan Winzinger; Raimar Lill (SAFECOMP Workshops, 2015)

Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze. - Raimar Lill (2021)