Sounds like another take on QP: http://www.state-machine.com/

Already used in medical devices, automotive, robotic, and defense applications.

And ya have to fill out a form to see the code. Nope. Check out QP for something much more industrial-grade.