BENABBOU, A.; NAIT BAHLOUL, S.; PHILIPPE, D. Context-aware approach for formal verification. EAI Endorsed Transactions on Context-aware Systems and Applications, [S. l.], v. 3, n. 7, p. e2, 2016. DOI: 10.4108/eai.12-2-2016.151085. Disponível em: https://publications.eai.eu/index.php/casa/article/view/1992. Acesso em: 15 may. 2024.