A Probabilistic QoS Model-Checking for Dynamic Routing Protocol | IEEE Conference Publication | IEEE Xplore