Model-based engineering of an automotive adaptive exterior lighting system : realistic example specifications of behavioral requirements and functional design / Felix Föcker ... Essen : ICB, 2015