Dirk Pattinson Bernhard Reus A Complete Temporal and Spatial Logic for Distributed Systems. 122-137 2005 conf/frocos/2005 FroCos http://dx.doi.org/10.1007/11559306_7 db/conf/frocos/frocos2005.html#PattinsonR05