JPL Statechart Autocoder – Generates state machines for a variety of languagesgithub.com/JPLOpenSource11 pointscapableweb6 years ago