Kim Guldstrand Larsen: Dependable and Optimal Cyber-Physical Systems. SOFSEM 2017: 3-10