A Promela Model for Contikis Scheduler - - 2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST) doi 2020-06 Article type Conference