Kinetic modeling and microbial assessment by fluorescent in situ hybridization in anaerobic sequencing batch biofilm reactors treating sulfate-rich wastewater