Survey on mining signal temporal logic specifications
scientific article; zbMATH DE number 7629148
scientific article