The Sensor Network Workbench: Towards Functional Specification, Verification And Deployment Of Constrained Distributed Systems