Development and application of real-time PCR for quantification of specific ammonia-oxidizing bacteria in activated sludge of sewage treatment systems