Deriving new measurements for real-time reactive systems