Stephan Merz, Martin Wirsing, Júlia Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In Mauro Pezzè, editor, Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Volume 2621 of Lecture Notes in Computer Science, pages 87-101, Springer, 2003. [doi]