Rajamanicham, Leelavathi, et al. “SymbolicModelCheckingforConverse Propositional Dynamic Logicbased Industry 4.0”. International Journal of Psychosocial Rehabilitation, vol. 24, no. 6, June 2020, pp. 18851-62, https://doi.org/10.61841/8jjk6r75.