Deshmukh, J., Horvat, M., Jin, X., Majumdar, R., & Prabhu, V. (2017). Testing Cyber-Physical Systems through Bayesian Optimization. ACM Transactions on Embedded Computing Systems, 16(5s): 170, pp. 1-18. doi:10.1145/3126521.