Programming in the OSEK/VDX Environment (With CD-ROM)