Survey on mining signal temporal logic specifications. - Bartocci, Ezio; Mateis, Cristinel; Nesterini, Eleonora; Nickovic, Dejan (Information & Computation, 2022)