You can specify a time constraint in Messages in the Sequence diagram. During simulating an interaction, Simulation Toolkit checks if the active State contains the required State (State Invariant), and the time is exactly as specified (Time constraint). However, the time constraint is not used as the delay time.