Verification of trajectory-dependent opacity properties via fault diagnosis. - Virginia Maria Alterio; Tianyu Liu; Carla Seatzu; Alessandro Giua (CoDIT, 2025)