Product line models of large cyber-physical systems: the case of ERTMS/ETCS.

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi

Browse the full SPLC paper archive.