Spell: traffic light implementation iot