Scalable offline monitoring of temporal specifications
scientific article; zbMATH DE number 6837201