Developing a FlexRay Automotive Clock Synchronisation Algorithm in SystemC for use in SoCs Breadcrumbs UL Home Research Publications Year of Publication 2004 Journal Technical Papers of SystemC