أرسل هذا في رسالة قصيرة: Towards a model checker for NesC and wireless sensor networks

  ______    ______  __    __    _____    ______   
 /_   _//  /_   _// \ \\ / //  |  ___|| |      \\ 
 `-| |,-    -| ||-   \ \/ //   | ||__   |  --  // 
   | ||     _| ||_    \  //    | ||__   |  --  \\ 
   |_||    /_____//    \//     |_____|| |______// 
   `-`'    `-----`      `      `-----`  `------`