Task scheduler for a real time, co-designed built control system | IEEE Conference Publication | IEEE Xplore