Automated Validation Environment for a Product Line of Railway Traffic Control Systems | Publicación