Inadequate use of FSM is what scares me a lot, especially in embedded development. The current state in software should be the result of sensory information whenever possible. Or at least state consolidations based on sensory information has to be thought through rigorously. Is there any literature on the topic?