Benabbou, A., S. Nait Bahloul, and D. Philippe. “Context-Aware Approach for Formal Verification”. EAI Endorsed Transactions on Context-Aware Systems and Applications, vol. 3, no. 7, Feb. 2016, p. e2, doi:10.4108/eai.12-2-2016.151085.