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