Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks. - William D. Henderson; Steven Tron (ETFA, 2006)