Distributed algorithms for hard real-time systems by D. Alstein