Examensarbete Simulation and synchronization of distributed real-time systems