Aspect-oriented modeling method for real-time information systems | IEEE Conference Publication | IEEE Xplore