Petur Olsen, Johan Foederer, Jan Tretmans. Model-Based Testing of Industrial Transformational Systems. Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in
HAL Archives-Ouvertes,
Petur Olsen, Johan Foederer, Jan Tretmans. Model-Based Testing of Industrial Transformational Systems.