You are right, care should be taken when creating state machines but it can get out of hand e.g. it becomes a state machine within a state machine within a state machine with each state machine having really a huge number of states each with really numerous number of entry and exit conditions. I haven't seen any white paper addressing this complexity issue. A visualization tool is necessary for this kind of software engine implementation that I think the original writer of this thread need to be aware of when he was looking for software tools. Think of it as a CAD/CAE tools for implementing complex software state machines. Seen MATLAB Stateflow or SGV sarc Crystal flow. Any feedbacks regarding these tools or other tools?