An FSM generally models the behavior of the control logic. For example, standard-based layered protocols typically model each layer in terms of an FSM. An FSM’s states’ transition coverage is ...