Turning a State Machine into a Model
medium.com