Köhler-Bußmeier, M.; Moldt, D. Analysis of Mobile Agents Using Invariants of Object Nets. ECEASST 2009, 12.