Fabio Alberto Schreiber and Maria Elena Valcher, “Formal assessment of some properties of Context-Aware Systems”, ijngc, vol. 10, no. 3, pp. 163–177, Nov. 2019.