A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. - Arend Aerts; Mohammad Reza Mousavi 001; Michel A. Reniers (ICTAC, 2015)

Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification. - Arend Aerts; Bryan Tong Minh; Mohammad Reza Mousavi 001; Michel A. Reniers (MT@CPSWeek, 2018)

Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. - Arend Aerts; Bryan Tong Minh; Mohammad Reza Mousavi 001; Michel A. Reniers (ICST Workshops, 2018)