ADOK: a minimal object oriented real-time operating system in C++