Refining Timed MSCs

We propose an approach for refining high level specifications into design specifications using the MSC language. We have previously introduced such an approach for un-timed MSCs. In this paper, we focus on the timing features of MSC-2000. We propose a framework for adding time constraints and refining them further, while preserving the properties of the high-level specification during the refinement process. We introduce conformance relations between MSCs and algorithms for checking these relations.