Stateful Priorities for Precise Restriction of System Behavior | IEEE Conference Publication | IEEE Xplore