A framework for abstract interpretation of timed concurrent constraint programs