Visible to the public Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model Checking