А как вы программируете нетривиальные системы на микроконтроллерах? Пока смотрю в сторону Hierarchical State Machine на QP. Есть ли что-то получше и что можно почитать годное на эту тему?