Verifiable visualization for isosurface extraction - Etiene, Tiago; Scheidegger, Carlos; Nonato, Luis Gustavo; Kirby, Robert R.; Silva, Claudio T. (IEEE Transcations on Visualization and Computer Graphics, 2009)