Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromobilität.