Rajamanicham, Leelavathi, Qin FenPing, and Chen Jia. “SymbolicModelCheckingforConverse Propositional Dynamic Logicbased Industry 4.0”. International Journal of Psychosocial Rehabilitation 24, no. 6 (June 30, 2020): 18851–18862. Accessed August 18, 2025. https://www.psychosocial.com/index.php/ijpr/article/view/8068.