TeSSLa: runtime verification of non-synchronized real-time streams.

Martin Leucker, Csar Snchez, Torben Scheffel, Malte Schmitz, Alexander Schramm

Browse the full SAC paper archive.