MEADEP: a dependability evaluation tool for engineers | IEEE Journals & Magazine | IEEE Xplore