Rajamanicham L, FenPing Q, Jia C. SymbolicModelCheckingforConverse Propositional Dynamic Logicbased Industry 4.0. Psychosocial rehabilitation [Internet]. 2020 Jun. 30 [cited 2025 Aug. 18];24(6):18851-62. Available from: https://www.psychosocial.com/index.php/ijpr/article/view/8068