Reactive software calls for instrumentation methods that uphold the reactive attributes of
systems. Runtime verification imposes another demand on the instrumentation, namely that …

In this work, we consider the formal framework TOAST for timed asynchronous interactions
featuring mixed-choice states. TOAST extends the theory of timed asynchronous session …