com.digitalpetri.fsm » strict-machine
A declarative DSL for building asynchronously evaluated Finite State Machines on the JVM