Anforderungsverikation von Komponenten- und Konnektormodellen am Beispiel autonom fahrender Autos.