Before revision:  All analytical results  are verified by simulation.
After revision:  All analytical results presented in this paper are verified by simulation.