@article{becker_podelski_damm_fränzle_olderog_wilhelm_2007, 
  title={SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme)}, 
  volume={49}, 
  DOI={10.1524/itit.2007.49.2.118}, 
  abstractNote={<jats:p>The Transregional Collaborative Research Center AVACS integrates the three sites Freiburg, Oldenburg, and Saarbrücken, and addresses the challenge of pushing the borderline for automatic verification and analysis of complex systems. A particular focus of the project is on models of complex transportation systems and their safety requirements. AVACS is organized in ten subprojects, each teaming researchers from all sites, and is funded by the German Science Foundation since January 1, 2004. This article surveys scope, organization, and research directions of AVACS, including pointers to key publications.</jats:p>}, 
  publisher={Walter de Gruyter GmbH}, 
  author={Becker and Podelski and Damm and Fränzle and Olderog and Wilhelm}, 
  year={2007}, 
  month={Jan}
  }