% Links in PDF
\PassOptionsToPackage{pdfversion=2.0}{hyperref}
\RequirePackage{hyperref}
%

% \usepackage{lipsum}

\hypersetup{
  pdftitle    = {Control-Flow Refinement in a Framework for Automated (Probabilistic) Complexity Analysis},
  % pdfsubject  = {},
  pdfauthor   = {Yoann Maurice Kehler},
  pdfkeywords = {KoAT2, Control-Flow Refinment, iRankFinder, Aprove} ,
  pdfcreator  = {xelatex},
  pdfproducer = {XeLaTeX}
}