Ameyed, D., Miraoui, M., Zaguia, A., Jaafar, F., & Tadj, C. (2018). Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction. Computing and Informatics, 37(6), 1411–1442. https://doi.org/10.4149/cai_2018_6_1411