A model-based design for electronic control units based on OSEK/VDX | IEEE Conference Publication | IEEE Xplore