Benabbou, Amel, Safia Nait Bahloul, and Dhaussy Philippe. 2016. “Context-Aware Approach for Formal Verification”. EAI Endorsed Transactions on Context-Aware Systems and Applications 3 (7):e2. https://doi.org/10.4108/eai.12-2-2016.151085.