Ameyed, D., Miraoui, M., Zaguia, A., Jaafar, F., & Tadj, C. (2019). Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction. Computing and Informatics, 37(6), 1411–1442. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/2018_6_1411