A framework to support dependability evaluation of WSNs from AADL models. - Mara Martins; Paulo Portugal; Francisco Vasques (ETFA, 2015)