Lück, ChristianChristianLück2024-10-142024-10-142009https://knowledge.hpi.de/handle/123456789/1744Automatische Analyse von Rekonfigurationen von AUTOSAR Architekturmodellenbachelorthesis