Modeling and analysis of the behavior of information systems | IEEE Journals & Magazine | IEEE Xplore