Key-Components for Digital Twin Modeling With Granularity: Use Case Car-as-a-Service | IEEE Journals & Magazine | IEEE Xplore