Title: Automatisiertes Testen Eingebetteter Systeme in der Automobilindustrie