Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems. - Saurav Kumar Ghosh; Jaffer Sheriff R. C; Vibhor Jain; Soumyajit Dey (ACM Trans. Embed. Comput. Syst., 2020)