Mathematical models for the analysis of dynamic channel selection for indoor mobile wireless communication systems.