Virtual Test Environment for Efficient Verification of Software Updates for Variant-Rich Automotive Systems. - Houssem Guissouma; Andreas Lauber; Amir Mkadem; Eric Sax (SysCon, 2019)