selected publications chapter Modeling and Verifying Dynamic Architectures with FACTum Studio. Lecture Notes in Computer Science. 2020