Microsoft.Coyote.Actors.Timers namespace

public type	description
class TimerElapsedEvent	Defines a timer elapsed event that is sent from a timer to the actor that owns the timer.
class TimerInfo	Stores information about a timer that can send timeout events to its owner actor.