Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices | IEEE Journals & Magazine | IEEE Xplore