Model-Oriented Design of a Wireless Sensor Network | IEEE Conference Publication | IEEE Xplore