Fabio Alberto Schreiber, and Maria Elena Valcher. “Formal Assessment of Some Properties of Context-Aware Systems”. International Journal of Next-Generation Computing, vol. 10, no. 3, Nov. 2019, pp. 163-77, doi:10.47164/ijngc.v10i3.168.