Using Variability Models to Reduce Verification Effort of Train Station Models | IEEE Conference Publication | IEEE Xplore