← State Machine Design Procedure