\documentclass{article}
\usepackage[a4paper]{geometry}
+\usepackage{graphicx}
\newcommand{\UPPAAL}{\textsc{UPPAAL}}
+\graphicspath{{img/}}
+\DeclareGraphicsExtensions{.eps}
+
\title{Timed automata and \UPPAAL}
\author{Pim Jager\and{}Mart Lubbers}
\date{\today}