Highly Integrated Task and Resource Scheduling for Mission-Critical Systems | IEEE Conference Publication | IEEE Xplore