ARMOR: Analyzer for Reducing Module Operational Risk. - Michael R. Lyu; Jinsong S. Yu; Elaine Keramidas; Siddhartha R. Dalal (FTCS, 1995)