@article{KnappMerzWirsingetal.2006,
  author    = {Alexander Knapp and Stephan Merz and Martin Wirsing and J{\´u}lia Zappe},
  title     = {Specification and refinement of mobile systems in MTLA and mobile UML},
  journal   = {Theoretical Computer Science},
  volume    = {351},
  number    = {2},
  pages     = {184 -- 202},
  doi       = {10.1016/j.tcs.2005.09.067},
  year      = {2006},
}