Abstract: UML offers various models for system behavior. A key concern is efficiently determining that these different models are all consistent. Determining this requires a precise semantic ...