Need better documentation for state transitions

The file cooling_statemachine.st has a lot of complicated transitions. It would be a very helpful thing to have a document describing these.