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):163-77. https://doi.org/10.47164/ijngc.v10i3.168.