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