Media type: E-Article Title: Formal Aspects of Component Software: A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime Contributor: Hallerstede, Stefan; Hatcliff, John Published: Springer Nature Switzerland, 2024 Published in: Formal Aspects of Component Software (2024), Seite 45-64 Language: Not determined DOI: 10.1007/978-3-031-52183-6_3 ISSN: 0302-9743; 1611-3349 Origination: Footnote: