Ameyed, D., Miraoui, M., Zaguia, A., Jaafar, F. and Tadj, C. (2019) “Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction”, COMPUTING AND INFORMATICS, 37(6), pp. 1411–1442. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/2018_6_1411 (Accessed: 4 February 2023).