Fabio Alberto Schreiber and Maria Elena Valcher 2019. Formal assessment of some properties of Context-Aware Systems. International Journal of Next-Generation Computing. 10, 3 (Nov. 2019), 163–177. DOI:https://doi.org/10.47164/ijngc.v10i3.168.