sentence: examples include systems to handle customers ' accounts in bank , computer reservation system , air traffic control , energy distribution ( power grid ) , nuclear power plant , military defense installations , and systems such as the tops database .