Modeling internal controls of automated teller machine (ATM) systems: A computerized decision aid for design and evaluation | IEEE Conference Publication | IEEE Xplore