AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Automatic Verification of Parametric Specifications with Complex Topologies by Johannes Faber Carsten Ihlemann Swen Jacobs Viorica Sofronie-Stokkermans AVACS Technical Report No. 66 October 2010 ISSN: 1860-9821