Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications | IEEE Conference Publication | IEEE Xplore