Improve state machine documentation and see also links