Ладно-ладно: да, SFC неудобен для представления большого числа связей. Но и сгенерированный из диаграммы ST не намного удобнее в этом плане — в нём много служебного кода, который сам занимает место и заставляет выравнивать всё остальное. При этом в процессе отладки мы наблюдаем число, которое приходится сопоставлять в уме, а не зрительно.

Ещё Switch это всегда переход в одно состояние. А если надо больше?

Ну и наконец Визио с Экселем денег стоят.