Julio Mellado, Juan C. Dueñas. Automated Validation Environment for a Product Line of Railway Traffic Control Systems. In Frank van der Linden, editor, Software Product-Family Engineering, 4th International Workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001, Revised Papers. Volume 2290 of Lecture Notes in Computer Science, pages 401-408, Springer, 2001. [doi]