Runtime verification of real-time event streams under non-synchronized arrival | Publicación