dOSEK used for OSEK-V in the LCTES'17 Publication "OSEK-V: Application-Specific RTOS Instantiation in Hardware"