Simulation of reactive groundwater flow and salinization in carbonate-rock aquifers | IEEE Conference Publication | IEEE Xplore