A Real-Time Microkernel for the dsPIC33E Family - Hernandez, Wilmar; Canas, Norberto (Electronics, 2025)