Wireless sensor networks, networks of tiny devices, are being widely used in

different aspects of everyday life. There is a need to simplify designing and

implementing protocols and applications for these devices that is very complex

and time consuming today. Moreover due to demanding deployment conditions,

predicting the behaviour of the networks is highly requested.