Depth-first Search Approach for Language-based Opacity Verification Using Petri NetsIkram Saadaoui, Mohamed Khalgui, Zheng Li et al.|IFAC-PapersOnLine|2020Cited by 3