Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, Khalid Alnowibet, Ting Qu. On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 50(10):3577-3591, 2020. [doi]
Abstract is missing.