Gravar-mail: A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks