ARMOR: analyzer for reducing module operational risk | IEEE Conference Publication | IEEE Xplore