Model-based Automation of Test Script Generation Across Product Variants: a Railway Perspective | IEEE Conference Publication | IEEE Xplore