It's not available, but I once made a researchy Statechart->Java compiler. For the concurrency, it leaned on Java's green threads.

Since then, I sometimes do manual implementations in code. For example, the Swift code of an iOS app I wrote has an ASCII art diagram of a hierarchical Statechart, for making the UI and NFC event handling solid (despite SwiftUI quirks and inconsistent docs at the time).