Generation of test sequences from formal specifications: GSM 11-11 standard case study. - Eddy Bernard; Bruno Legeard; Xavier Luck; Fabien Peureux (Softw. Pract. Exp., 2004)