Petur Olsen, Johan Foederer, Jan Tretmans. Model-Based Testing of Industrial Transformational Systems. In Burkhart Wolff, Fatiha Zaïdi, editors, Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings. Volume 7019 of Lecture Notes in Computer Science, pages 131-145, Springer, 2011. [doi]
Abstract is missing.