Rajamanicham, L., FenPing, Q. and Jia, C. (2020) “SymbolicModelCheckingforConverse Propositional Dynamic Logicbased Industry 4.0”, International Journal of Psychosocial Rehabilitation, 24(6), pp. 18851–18862. doi:10.61841/8jjk6r75.