Formal specification and verification of dynamic parametrized architectures
scientific article; zbMATH DE number 7343237