When – event-based recombinant state machines with a temporal model
github.com