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