“…In (Vieira et al2005), the authors describe a visual development framework for multiplatform wireless sensor networks, which is capable of generating application code for TinyOS and Yet Another Tiny Operating System (Yatos) (Almeida et al 2003). This tool supports only code generation of the developed model for the WISDOM (Vieira et al 2005) framework and it does not support functional verification of the designed model. Here also the model development is biased to TinyOS and Yatos, since these two target platforms share the same component based programming style.…”