Formal model-based conformance verification of an OSEK/VDX compliant RTOS | IEEE Conference Publication | IEEE Xplore