Benabbou A, Nait Bahloul S, Philippe D. Context-aware approach for formal verification. EAI Endorsed Trans Context Aware Syst App [Internet]. 2016 Feb. 12 [cited 2024 Nov. 24];3(7):e2. Available from: https://publications.eai.eu/index.php/casa/article/view/1992