RPatne/Model-Checking — pull request #1 by OKullmann (2012-03-13 16:26:53+00:00)
Title: Latex corrections

Please see the commit messages.
Most important now to get the bibliography right.
And the graphics-file needs to be included.