Concurrent systems and time synchronization. - Mark Burgin; Annette Grathoff (Int. J. Gen. Syst., 2018)