An OSEK/VDX Implementation of Synchronous Reactive Semantics Preserving Communication Protococls Guoqiang Wang Marco Di Natale Alberto L. Sangiovanni-Vincentelli Electrical Engineering and Computer Sciences University of California at Berkeley Technical Report No. UCB/EECS-2007-81 http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-81.html June 11, 2007