A Framework for Modeling and Verifying IoT Communication Protocols. - Maithily Diwan; Meenakshi D'Souza (SETTA, 2017)