Themis: An AST-Based Lock-Free Routes Synchronizing and Sharing System for Self-Driving in Edge Computing Environments | IEEE Journals & Magazine | IEEE Xplore