Formal Model-Based Test for AUTOSAR Multicore RTOS | IEEE Conference Publication | IEEE Xplore