Symbolic Algorithm for Generation Büchi Automata from LTL Formulas. - Irina V. Shoshmina; Alexey B. Belyaev (PaCT, 2011)