Accounting for Preemption and Migration Costs in the Calculation of Hard Real-Time Cyclic Executives for MPSoCs | IEEE Journals & Magazine | IEEE Xplore