IntroductiontoFinite-StateMachinesandstateDiagramsfortheDesignofElectronicCircuitsandSystem。