Wyślij wiadomość: What is formal verification without specifications? A survey on mining LTL specifications