16:38:32_deathusing statecharts for this is an interesting idea.. some months ago I started on a code generator in lisp to generate C++ code from statecharts.. I modeled a small application I wrote with it, but in the end I had other things to do ;) so the project is on hold.. the verification stuff, I don't care for