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