Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks