@TechReport{	  atr75,
  author	= {R{\"u}diger Ehlers and E. Moritz Hahn and Martin
		  Mehlmann and Hans-J{\"o}rg Peter and Jan Rakow and Tobe
		  Toben and Bernd Westphal},
  title		= {Dynamic Communicating Probabilistic Timed Automata Playing
		  Games},
  editor	= {Bernd Becker and Werner Damm and Bernd Finkbeiner and
		  Martin Fr{\"a}nzle and Ernst-R{\"u}diger Olderog and
		  Andreas Podelski},
  institution	= {SFB/TR 14 AVACS},
  year		= {2011},
  type		= {Reports of SFB/TR 14 AVACS},
  number	= {75},
  month		= {July},
  note		= {ISSN: 1860-9821, http://www.avacs.org},
  abstract	= { Systems of Systems (SoS) comprising a varying number of
		  communicating processes (or agents) are getting ever more
		  important. As of yet, formal modeling languages and
		  specification logics address isolated features of SoS only.
		  We propose the concise modeling language DCS++ and the
		  property specification logic DPTATL that address all
		  relevant SoS aspects in a unified game-theoretic framework.
		  Language and logic turn out to be an orthogonal extension
		  of well-known modeling formalisms and logics. Both modeling
		  and specification languages are demonstrated on a
		  non-trivial network routing example.},
  access	= {open},
  bibtex	= {atr075.bib},
  pdf		= {avacs_technical_report_075.pdf},
  series	= {ATR},
  subproject	= {S2}
}