Benabbou, Amel, et al. “Context-Aware Approach for Formal Verification”. EAI Endorsed Transactions on Context-Aware Systems and Applications, vol. 3, no. 7, Feb. 2016, p. e2, https://doi.org/10.4108/eai.12-2-2016.151085.