Automatic test generation from communicating extended finite state machine (CEFSM)-based models | IEEE Conference Publication | IEEE Xplore