Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces Mikhail Chupilko, Alexander Kamkin.
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces