====== State machines ======

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