An FSM model has no conditions along the paths that can affect their traversal; therefore, they are all feasible. However, the paths in EFSMs depend on the input, output, internal variables, operations, and predicates defined over them. Some predicates and condition expressions cannot be ...