Для генерации машин состояния могу альтернативно порекомендовать simulink. Чертовски гибкий и удобный построитель FSM есть в библиотеке, плюс качественные возможности симуляции и отладки. IAR Visual State в своё время смотрел, но оно меня не впечатлило и не понравилось.
Три кита на которых зиждется реклама: враньё, преувеличение, замалчивание. Новости СМИ - это политическая реклама.