@misc{indiciaea82ca187d80c, title = {VERAIn}, author = {Simunovic, Srdjan}, year = {2015}, url = {https://www.osti.gov/biblio/1232330}, note = {Source identifier: 1232330} }