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), pp. 163–177. doi: 10.47164/ijngc.v10i3.168.