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