Syntax-guided enumeration of temporal properties Martino, Gianluca Fey, Görschwin 2019 - TUHH Open Research