Title: Language constructs for defining features for reactive systems