Presseartikel über AVACS
- Presseerklärung der Universität Oldenburg, 21.11.2003
- Presseerklärung der Albert-Ludwigs-Universität Freiburg, 02.12.2003
- Deutschlandradio/Deutschlandfunk (19.02.2004): Webseite
- Bericht über formale Verifikation von K. Klotz in Technology Review und Spiegel Online (Juni 2005)