On Verify and Validate a Next Generation Automotive Communication Networka. - Sebastian Brunthaler; Thomas Waas; Markus Kucera (PECCS, 2019)