Lauer, Christoph: Modeling and Analysis of Embedded Real-Time Systems in the Automotive | Kaicus Deutschland