Есть ли инструмент Harel Statechart DSL для Java?

Я ищу инструмент, который понимает DSL, в котором я могу определить свою диаграмму состояний, генерирующую код Java, или где диаграмма состояний в DSL запускается как есть. Инструмент в идеале должен быть написан на Java и должен поддерживать суперсостояния и ортогональные области по определению Harel Statecharts (или эквивалентно UML 2 State Machines). В качестве альтернативы, какая библиотека или инструмент лучше всего подходит для написания такого DSL?