[SBN14] Pravati Swain, Purandar Bhaduri and Sukumar Nandi. Probabilistic model checking of IEEE 802.11 IBSS power save mode. International Journal of Wireless and Mobile Computing, 7(7), pages 465-474. 2014. [Uses probabilistic model checking and PRISM to analyse a power management algorithm for Independent Basic Service Set (IBSS) from the IEEE 802.11 standard for wireless local area networks.]