Model-Based Safety Analysis of Mode Transitions. - Marco Bozzano; Peter Munk; Markus Schweizer; Stefano Tonetta; Viktória Vozárová (SAFECOMP, 2020)

Searching for Ribbon-Shaped Paths in Fair Transition Systems. - Marco Bozzano; Alessandro Cimatti; Stefano Tonetta; Viktória Vozárová (TACAS (1), 2022)

Diagnosability of fair transition systems. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Marco Gario; Stefano Tonetta; Viktória Vozárová (Artif. Intell., 2022)