\documentclass[a4paper]{report}
\input repA4.tex
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{epstopdf}
\usepackage{url}
\usepackage{caption}
\usepackage{subcaption}
\usepackage{multirow}

% Default fixed font does not support bold face
\DeclareFixedFont{\ttb}{T1}{txtt}{bx}{n}{9} % for bold
\DeclareFixedFont{\ttm}{T1}{txtt}{m}{n}{9}  % for normal

\usepackage{listings}

\newcommand\numberthis{\addtocounter{equation}{1}\tag{\theequation}}

\newcommand{\axiomForeverRunning}{Axiom~I: Forever Running}
\newcommand{\axiomScalability}{Axiom~II: Scalability}
\newcommand{\axiomMinimalContent}{Axiom~III: Minimal Content}
\newcommand{\axiomModelEverything}{Axiom~IV: Model Everything}
\newcommand{\axiomHumanInteraction}{Axiom~V: Human Interaction}
\newcommand{\axiomTestDriven}{Axiom~VI: Test-Driven}
\newcommand{\axiomMultiView}{Axiom~VII: Multi-View}
\newcommand{\axiomMultiFormalism}{Axiom~VIII: Multi-Formalism}
\newcommand{\axiomMultiAbstraction}{Axiom~IX: Multi-Abstraction}
\newcommand{\axiomMultiUser}{Axiom~X: Multi-User}
\newcommand{\axiomInteroperability}{Axiom~XI: Interoperability}

\title{Modelverse specification}
\author{Yentl Van Tendeloo\\Bruno Barroca\\Simon Van Mierlo\\Hans Vangheluwe}

\begin{document}
\maketitle

\abstract{
\input abstract.tex
}

\lstset{
    basicstyle=\small\ttfamily
}

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

% Reduce the spacing between a gather and the surrounding text
\setlength{\belowdisplayskip}{0pt} \setlength{\belowdisplayshortskip}{0pt}
\setlength{\abovedisplayskip}{0pt} \setlength{\abovedisplayshortskip}{0pt}

\setcounter{tocdepth}{1}
\tableofcontents

\input introduction.tex
\input related_work.tex
\input axioms.tex
\input modelverse_state.tex
\input modelverse_kernel.tex
\input modelverse_interface.tex
\input network_communication.tex
\input conformance.tex
\input practical.tex
\input conclusion.tex

\bibliographystyle{unsrt}
\bibliography{bibliography}

\end{document}
