Performance Analysis of Delay Tolerant Networks with Model Checking Techniques