BigNFC: Novel Formal model for NFC based context-aware applications. - Aicha Nabet; Rachid Boudour (Informatica (Slovenia), 2021)