@ARTICLE{Kuehn-et-al_ISOLA_2008,
  author = {K\"{u}hn, Eva and Mordinyi, Richard and Schreiber, Christian},
  title = {An Extensible Space-based Coordination Approach for Modeling Complex
	Patterns in Large Systems},
  journal = {3rd Int. Symposium on Leveraging Applications of Formal Methods,
	Verification and Validation, Special Track on Formal Methods for
	Analysing and Verifying Very Large Systems (ISoLA 2008)},
  publisher = {Springer-Verlag},
  year = {2008},
}