State machines
https://www.sciencedirect.com/science/article/pii/0167642387900359
https://andyjakubowski.github.io/statechart-watch/
https://www.youtube.com/watch?v=onEGFGNHEV0