Rajamanicham, L. et al. 2020. Symbolic Model Checking for Converse Propositional Dynamic Logic based Industry 4.0. International Journal of Psychosocial Rehabilitation. 24, 6 (Aug. 2020), 18851–18862. DOI:https://doi.org/10.61841/8hgfjm75.