A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220. - Mariusz A. Fecko; M. Ümit Uyar; Paul D. Amer; Adarshpal S. Sethi; Theodore Dzik; R. Menell; Michael McMahon (Comput. Commun., 2000)