-\documentclass{article}
+\documentclass[a4paper]{article}
-\usepackage[a4paper]{geometry}
+\usepackage{booktabs}
+\usepackage{geometry}
+\usepackage{graphicx}
+\usepackage{url}
+\usepackage{amsmath}
\newcommand{\UPPAAL}{\textsc{UPPAAL}}
+\let\tt\texttt
+
+\graphicspath{{img/}}
+\DeclareGraphicsExtensions{.eps}
\title{Timed automata and \UPPAAL}
-\author{Pim Jager\and{}Mart Lubbers}
+\author{Pim Jager\and Mart Lubbers}
\date{\today}
\begin{document}
+\maketitle
\section*{First part}
\input{first.tex}