K. Ritsuka Stéphane Lafortune Feng Lin 0001 Joint opacity and opacity against state-estimate-intersection-based intrusion of discrete-event systems. 112136 2025 176 Autom. https://doi.org/10.1016/j.automatica.2025.112136 db/journals/automatica/automatica176.html#RitsukaLL25 streams/journals/automatica