A Two-Layered Approach for the Validation of an Operational Autonomous Shuttle | IEEE Journals & Magazine | IEEE Xplore