Verifying Patterns of Dynamic Architectures using Model Checking. - Diego Marmsoler; Silvio Degenhardt (FESCA@ETAPS, 2017)