Model Finite Number of State and Events with State Machines by Segun Adebayo