Étienne André 0001 Marie Duflot Laetitia Laversa Engel Lefaucheux Execution-Time Opacity Control for Timed Automata. 347-365 2024 SEFM https://doi.org/10.1007/978-3-031-77382-2_20 conf/sefm/2024 db/conf/sefm/sefm2024.html#AndreDLL24 streams/conf/sefm