Rajamanicham, Leelavathi, Qin Fen Ping, and Chen Jia. “Symbolic Model Checking for Converse Propositional Dynamic Logic Based Industry 4.0”. International Journal of Psychosocial Rehabilitation 24, no. 6 (August 31, 2020): 18851–18862. Accessed January 9, 2026. https://www.psychosocial.com/index.php/ijpr/article/view/8579.