In the UNICARagil project, which is focused on the research of highly automated driving in automobiles, I am doing research in the modelling and analysis of service-based systems in order to meet strict real-time and safety requirements. I also work on concepts of modular system design and the verification of end-to-end actor to sensor latencies in complex cyber-pyhsical systems.