Benabbou, A.; Nait Bahloul, S.; Philippe, D. Context-Aware Approach for Formal Verification. EAI Endorsed Trans Context Aware Syst App 2016, 3 (7), e2. https://doi.org/10.4108/eai.12-2-2016.151085.