A framework to support dependability evaluation of WSNs from AADL models | IEEE Conference Publication | IEEE Xplore