Brief Industry Paper: Towards Efficient Task Scheduling for AUTOSAR using Parallel Pruning | IEEE Conference Publication | IEEE Xplore