BigNFC: Novel Formal model for NFC based context-aware applications. (2021). Informatica, 45(5). https://doi.org/10.31449/inf.v45i5.3496