Rajamanicham, L. et al. 2020. SymbolicModelCheckingforConverse Propositional Dynamic Logicbased Industry 4.0. International Journal of Psychosocial Rehabilitation. 24, 6 (Jun. 2020), 18851–18862. DOI:https://doi.org/10.61841/8jjk6r75.