Re-writing Automat's documentation from scratch now since everything is different, and going from the "coffee machine" stilted and artificial example of a state machine to the "garage door opener" stilted and artificial example of a state machine for introducing stuff. I want to use a realistic example, but every real problem I want to use automat for is a 1000 line rat's nest of complex interactions (which is exactly why I need a framework to manage it). Is there a good exemplary DFA I can use?