Не, я до такого не дошел, максимум это прямая смена состояния одного автомата, от чего у меня изжога :) ISR (UART)
...
if (bcc_received)
SetMyStateMachineState (ANALYSE_MESSAGE_STATE);
....
Для передачи нескольким автоматам использую событие, которое сбрасывается только после анализа всеми автоматами.
Вызывать методы предполагает наличие ресурсов быстродействия больше, чем обычно имеется, и внимательный контроль. Не люблю держать в голове лишнее.