Robust verification analysis. - William J. Rider; Walt Witkowski; James R. Kamm; Tim Wildey (J. Comput. Phys., 2016)