Info Papers, Style Files Alur, Dill: A theory of timed automata, 1994. Alur, Dill: A theory of timed automata, 1994. - Read More… LaTeX style for typesetting DC LaTeX style for typesetting DC - Read More… LaTeX style for typesetting timing diagrams LaTeX style for typesetting timing diagrams - Read More…