Improving the dependability of wireless networks using design techniques | IEEE Conference Publication | IEEE Xplore