Examples of state machine compilers in production?

We have a class based messaging framework for developing applications into production (an inhouse application platform for .net ui applications). The resulting applications contain quite a lot of boiler plate to define effectively a directed graph of callbacks - a classic state machine. I'm figuring out this is a classic application domain for a code emitting state machine compiler and I might need to convince business with case studies (anecdotes are fine) in addition to implementing a prototype. Do you use state machine compilers in production code? What are your experiences viz. maintainability and scalability? There are lots of generators in the web and chapters in books about using state machine compilers but I've come up with very little concrete industry references except for imatix's GSL and their open source projects using it. Our problem domain is sligthly different. Are there any project websites with examples? Or are the only users of state machine compilers lone guys? Our solution would need to be scalable to several production teams. I would heartily welcome a simple "yes, our domain is ... and works great for us with n developers" or "no, total fail because...". References to state machine compiler projects in the web that you've found personally useful similar to https://github.com/imatix/gsl or http://smc.sourceforge.net/ would be welcome as well. I'm probably not looking for an off-the-shelf solution though. Note that I'm not discussing executable state machines like what Ragel http://www.complang.org/ragel/ generates but even references to these cases would be nice.