A JS module to run State Transition Systems