Study Case of Smart City: The Usage of Digital Twin in Transportation System | IEEE Conference Publication | IEEE Xplore