Locative temporal logic and distributed real-time systems by M.J. Wieczoreck