A case study for modeling autonomous driving systems | IEEE Conference Publication | IEEE Xplore