Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML