Deriving State Machines from TinyOS Programs using Symbolic 从TinyOS程序使用符号推导状态机-PPT课件-P