Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models. - Li, J. Jenny; Wong, W. Eric (2002)