ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. - Juraj Major; Frantisek Blahoudek; Jan Strejcek; Miriama Sasaráková; Tatiana Zboncáková (ATVA, 2019)