← Finite-State Machine (FSM) Design