“BigNFC: Novel Formal Model for NFC Based Context-Aware Applications”. Informatica, vol. 45, no. 5, July 2021, https://doi.org/10.31449/inf.v45i5.3496.