A theoretic approach to translation of linear temporal logic into an automaton | IEEE Conference Publication | IEEE Xplore