Logic for Timed Agent Network Topologies | IEEE Conference Publication | IEEE Xplore