Kluge, NormanNormanKluge2024-10-142024-10-142012https://knowledge.hpi.de/handle/123456789/1575Abbildung abstrakter AUTOSAR Architekturmodelle auf Timed Automata zur frühzeitigen Analyse von Realzeit-Eigenschaftenmasterthesis