Robert L. Probert, Hasan Ural, Alan W. Williams: Rapid generation of functional tests using MSCs, SDL and TTCN. Comput. Commun. 24(3-4): 374-393 (2001)