Kavadias C, Thanos G, Ploskas N, Gerolimos G, Kollias V, Stassinopoulos G, Loupis M. Use of SDL for the implementation of Abstract Test Suites.  2003.