ADOK: a minimal object oriented real-time operating system in C++. - Salvatore Benedetto; Giuseppe Lipari (SIGBED Rev., 2014)