Day 2: Mini-tutorial: Challenges to the design and optimization of cyber-physical systems | IEEE Conference Publication | IEEE Xplore