selected publications academic article A co-designed RTOS/MCU Architecture for dependable Embedded Systems 2017