A language and an execution model for the detection of active situations