(Methods and tools for the validation of OSEK/VDX based distributed architectures)
Conformance testing of the OSEK/VDX implementations within the MODISTARC project
