Fabio Alberto Schreiber, and Maria Elena Valcher. “Formal Assessment of Some Properties of Context-Aware Systems”. International Journal of Next-Generation Computing 10, no. 3 (November 1, 2019): 163–177. Accessed July 3, 2024. http://ijngc.perpetualinnovation.net/index.php/ijngc/article/view/168.