Dutta, et al.. Output Range Analysis for Deep Neural Networks. 26 Sept. 2017.