1 Table of Contents: “... and Industrial-Strength Computer Networks -- Tool Support and Prototyping -- Integration Tools Supporting...”

2 “... relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also...”

3 “...) modeling framework and demonstrates its applicability in embedded system development in various industry...”

4

5 “... telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer...”

6 “...Testing is the primary hardware and software verification technique used by industry today. Usually...”