Semi-fixed-priority scheduling with multiple mandatory parts | IEEE Conference Publication | IEEE Xplore