Online and Offline Stream Runtime Verification of Synchronous Systems | Publicación