Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. - Hermann Kaindl; Franz Lukasch; Matthias Heigl; Sevan Kavaldjian; Christoph Luckeneder; Sebastian Rausch (ICST Workshops, 2018)