Article dans revue scientifique avec comité de lecture.
Test generation for interworking systems