RAJAMANICHAM, Leelavathi; FENPING, Qin; JIA, Chen. SymbolicModelCheckingforConverse Propositional Dynamic Logicbased Industry 4.0. International Journal of Psychosocial Rehabilitation, [S. l.], v. 24, n. 6, p. 18851–18862, 2020. DOI: 10.61841/8jjk6r75. Disponível em: https://www.psychosocial.com/index.php/ijpr/article/view/8068. Acesso em: 18 aug. 2025.