Validation and refinement of timed MSC specifications