Dr. C. Punitha Devi, M. Sivaranjani, Diwahar S., Dr. V. Prasanna Venkatesan. Verification of Adaptive IoT Gateway Architecture Using Colored Petri Nets. IJAST 2020, 29, 4164 - 4181.