Benabbou, Amel, Safia Nait Bahloul, and Dhaussy Philippe. “Context-Aware Approach for Formal Verification”. EAI Endorsed Transactions on Context-aware Systems and Applications 3, no. 7 (February 12, 2016): e2. Accessed April 14, 2024. https://publications.eai.eu/index.php/casa/article/view/1992.