A Taxonomy of Strategies For Supporting Time-Sharing With Non-Driving Tasks in Automated Driving. (November 2019)