Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems | IEEE Conference Publication | IEEE Xplore