Exemplary development & validation of a practical specification language for semantic interfaces of automotive software components - Förster, Marc (Verfasser); Auerswald, Marko (Verfasser); Keldenich, Philip (Verfasser); Kowalewski, Stefan (Verfasser); Rheinisch-Westfälische Technische Hochschule Aachen. Lehrstuhl für Informatik 11 (Herausgebendes Organ) (FAT-Schriftenreihe, 2015)