Stephan Merz Martin Wirsing Júlia Zappe A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. 87-101 2003 conf/fase/2003 FASE http://link.springer.de/link/service/series/0558/bibs/2621/26210087.htm db/conf/fase/fase2003.html#MerzWZ03