Applications of the Theory of Distributed and Real-Time Systems to the Development of Large-Scale Timing Based Systems