L. Rajamanicham, Q. FenPing, and C. Jia, “SymbolicModelCheckingforConverse Propositional Dynamic Logicbased Industry 4.0”, Psychosocial rehabilitation, vol. 24, no. 6, pp. 18851–18862, Jun. 2020, doi: 10.61841/8jjk6r75.