The title "Modeling Software with Finite State Machines", and the accompanying web-site [...], proclaim a new and fabulous way to …