An Optimal Scheduling Algorithm for Vehicular Application Specific Operating Systems | IEEE Conference Publication | IEEE Xplore