Task-scheduling strategies for reliable TMR controllers using task grouping and assignment | IEEE Journals & Magazine | IEEE Xplore