selected publications conference paper Cost effective cross-layer protocol testing : a case study. HAL (Le Centre pour la Communication Scientifique Directe). 2011