MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms. - Shah Bhatti; James Carlson; Hui Dai; Jing Deng 002; Jeff Rose; Anmol Sheth; Brian Shucker; Charles Gruenwald; Adam Torgerson; Richard Han 001 (Mob. Networks Appl., 2005)