Model based scenario specification for development and test of automated driving functions | IEEE Conference Publication | IEEE Xplore