There's lots of CS about this... but in my experience one just has to dive in and do it, build the state machines needed. I find myself relearning the lessons time and time again. I'm not sure why, but state machines just don't seem easily amenable to the mind. Maybe in 10 years someone will come up with the invention that makes it easy ... here's hoping!