Implementation and Application of Automata - Pascal Caron, Ludovic Mignot (Springer, 2022)