Reihe Aachener Informatik Berichte Software Engineering

Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Phys