Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior | IEEE Conference Publication | IEEE Xplore