Saturated Semantics for Reactive Systems