GPU-Based Parallel EDF-Schedulability Analysis of Multi-modal Real-Time Systems | IEEE Conference Publication | IEEE Xplore