An efficient optimal task allocation and scheduling algorithm for cyclic synchronous applications | IEEE Conference Publication | IEEE Xplore