Deshmukh, J., Horvat, M., Jin, X., Majumdar, R., Prabhu, V.S., “Testing Cyber-Physical Systems through Bayesian Optimization.”