A LaTeX typographical checker.
Creates UML class and sequence diagrams from declarative specifications.