Fabio Alberto Schreiber; Maria Elena Valcher. Formal Assessment of Some Properties of Context-Aware Systems. ijngc 2019, 10, 163-177.