Benabbou, A.; Nait Bahloul, S.; Philippe, D. Context-Aware Approach for Formal Verification. EAI Endorsed Trans Context Aware Syst App 2016, 3, e2.