Functional decomposition—A contribution to overcome the parameter space explosion during validation of highly automated driving. (12th June 2019)