OSEK/VDX conformance testing-MODISTARC | IET Conference Publication | IEEE Xplore