Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua: A region-based approach for state estimation of timed automata under no event observation. ETFA 2020: 799-804