The default time unit is milliseconds. The time units are set based on the operating system adapter implementation of the tick timer. A timeout is scheduled when the origin state (s1) is entered. If the origin state has exited before the timeout was consumed, the timeout is canceled.

You can use the timeouts mechanism (tm()) when the quality of service (QOS) accuracy requirement conforms with the following timeout accuracy. When a timeout occurs, it is inserted to the event queue related to the reactive instance. The time on which the timeout is consumed depends on the actual system state. The timeout occurrence depends on three factors: