Real-time Ethernet residual bus simulation : a model-based testing approach for the next-generation in-car network Bartols, Florian Steinbach, Till Korf, Franz Buth, Bettina Schmidt, Thomas C. 2014 - ReposIt