Baseado no código do capitulo 16 em Patterns for Time-Triggered Embedded Systems de Michael J. Pont.
Material adicional pode ser encontrado em RIOS Scheduler de Frank Vahid conforme descrito no artigo RIOS: A Lightweight Task Scheduler for Embedded Systems. Também no artigo Writing a simple cooperative scheduler de
O código fonte pode ser acessado no github.