Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing | IEEE Conference Publication | IEEE Xplore