Publication

Parameterized Systems in BIP: Design and Model Checking