Statecharts are a precise way of modeling the behaviour of complex reactive systems. They describe how things work, and can help you get your code doing exactly what you want.