Beyond event handlers: programming wireless sensors with attributed state machines