Text this: Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines