Stephan Merz, Martin Wirsing, Julia Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.
Fundamental Approaches to Software Engineering '03 - FASE 2003, Lecture Notes in Computer Sciences, 2003, Warsaw, Poland, pp.87-101.
⟨inria-00099799⟩