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