Model-based Evaluations Combining Autonomous Cars and a Large-scale Passenger Drone Service: The Bavarian Case Study | IEEE Conference Publication | IEEE Xplore