Focusing real-time systems analysis on user operations | IEEE Journals & Magazine | IEEE Xplore