A Two-Level Abstraction ODD Definition Language: Part II | IEEE Conference Publication | IEEE Xplore