\documentclass[conference]{IEEEtran}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{epstopdf}
\usepackage{url}
\usepackage{listings}
\usepackage{subcaption}

\begin{document}
\title{Explicit Type/Instance Relations}
\author{
    \IEEEauthorblockN{Yentl Van Tendeloo}
    \IEEEauthorblockA{University of Antwerp, Belgium\\
    \\
    Yentl.VanTendeloo@uantwerpen.be}
    \and
    \IEEEauthorblockN{Hans Vangheluwe}
    \IEEEauthorblockA{University of Antwerp, Belgium\\
    McGill University, Canada\\
    Hans.Vangheluwe@uantwerpen.be}
}

\maketitle

\begin{abstract}
\input abstract.tex
\end{abstract}
\IEEEpeerreviewmaketitle

\lstset{
    basicstyle=\small\ttfamily
}

\newcommand{\inheritancearrow}{-\hspace{-0.05cm}\triangleright}
\renewcommand{\floatpagefraction}{0.75}

\input 1-introduction.tex
\input 2-conformance.tex
\input 3-explicit_conformance.tex
\input 4-example.tex
\input 5-related_work.tex
\input 6-conclusion.tex

\section*{ACKNOWLEDGMENTS}
This work was partly funded by a PhD fellowship from the Research Foundation -
Flanders (FWO). Partial support by the Flanders Make strategic research centre
for the manufacturing industry is also gratefully acknowledged.

\bibliographystyle{unsrt}
\bibliography{bibliography}

\end{document}
