Rajamanicham, Leelavathi, et al. “Symbolic Model Checking for Converse Propositional Dynamic Logic Based Industry 4.0”. International Journal of Psychosocial Rehabilitation, vol. 24, no. 6, Aug. 2020, pp. 18851-62, https://doi.org/10.61841/8hgfjm75.