Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. - Julien Deltour; Alain Faivre; Emmanuel Gaudin; Arnault Lapitre (SAM, 2014)