selected publications academic article Verifying Patterns of Dynamic Architectures using Model Checking. arXiv (Cornell University). 2017