Modeling time aspects of information systems | IEEE Conference Publication | IEEE Xplore