Visual Reactive Programming - State Machines