Nabet, A.; Boudour, R. BigNFC: Novel Formal Model for NFC Based Context-Aware Applications. IJCAI 2021, 45.