Title: Semantics of reactive systems