Exercise in Space: A Holistic Approach for the Benefit of Human Health on Earth

Automatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems. Automatische Modellierung und Fehlerdiagnose zeitlicher nebenläufiger ereignisdiskreter Systeme