A Formal Metamodel for Software Architectures with Composite Components. - James Baak; Quentin Rouland; Jason Jaskolka (MEDI, 2023)