https://1library.org/br/docs/kernel-based-architecture-for-safety-critical-control.17618660