P. Bhateja, Grammar based asynchronous testing, Proceeding of the 2nd annual conference on India software engineering conference, ISEC '09, pp.105-110, 2009.
DOI : 10.1145/1506216.1506237

P. Bhateja, P. Gastin, and M. Mukund, A Fresh Look at Testing for Asynchronous Communication, ATVA, pp.369-383, 2006.
DOI : 10.1007/11901914_28

E. John, J. D. Hopcroft, and . Ullman, Introduction to Automata Theory, Languages, and Computation, 1979.

N. A. Lynch and M. R. Tuttle, An introduction to input/output automata, CWI Quarterly, vol.2, pp.219-246, 1989.