Theory and Practice of Stream Runtime Verification for Sequences and Real-Time Event Based Systems | Publicación