A Promela Model for Contiki's Scheduler, Hassan Mousavi, Elham Mahmoudzadeh, Ali Ebnenasir
Michigan Tech Publications