Statistical Model Checking of Opportunistic Network Protocols. - Shiraj Arora; Ankit Rathor; M. V. Panduranga Rao (AINTEC, 2015)