L. Rajamanicham, Q. Fen Ping, and C. Jia, “Symbolic Model Checking for Converse Propositional Dynamic Logic based Industry 4.0”, Psychosocial rehabilitation, vol. 24, no. 6, pp. 18851–18862, Aug. 2020, doi: 10.61841/8hgfjm75.