\documentclass[a4paper,11pt]{article}

% Options possibles : 10pt, 11pt, 12pt (taille de la fonte)
%                     oneside, twoside (recto simple, recto-verso)
%                     draft, final (stade de développement)
%                     titlepage, notitlepage (\maketitle prend une page
%                                             à part ou non)

\usepackage[latin1]{inputenc} % LaTeX, comprends les accents !
\usepackage[T1]{fontenc}      % Police contenant les caractères français
\usepackage[a4paper=true,hypertex]{hyperref}	 	  % Pour disposer de liens hypertextes
\usepackage{url}
\usepackage{ams}
%\usepackage{amssymb}
\usepackage{bsymb,b2latex}
\usepackage{tabularx}
\usepackage{cite}		 	  % Pour les références bibliographiques
\usepackage{graphicx}
\usepackage{placeins}
\usepackage{color}
\usepackage{picins}
\usepackage{makeidx}          % Package pour l'index
% \pagestyle{headings}        % Pour mettre des entêtes avec les titres
                              % des sections en haut de page
\usepackage[francais,english]{babel}  % Placez ici une liste de langues, la
                              % dernière étant la langue principale
\usepackage{listings}         % Package pour les listings de code

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\lstdefinelanguage{ATL}{
  morekeywords={module, create, from, refining, to, do, helper, def, uses,
    context, if, else, endif, let, using, rule, then, query, library},
  alsoletter={\#},
  emph={OrderedSet, Sequence, \#public, \#private, Set, Boolean, true, false, Integer},
  emphstyle={\color{blue}},
  string=[b]',
  sensitive=true,
  morecomment=[l]{--}
} 

\lstdefinelanguage{Event-B}{
  morekeywords={CONTEXT, SETS, CONSTANTS, AXIOMS, END, MACHINE, SEES, VARIABLES, INVARIANTS,
    EVENTS, STATUS, BEGIN, END, ANY, WHERE, THEN, REFINES, WITH, context, sets, constants, axioms, end, machine, 
    sees, variables, invariants, events, status, begin, end, any, where, then, refines, with },
  string=[b]',
  sensitive=true,
  morecomment=[l]{//}
} 

\newcommand{\eg}{\textit{e.g.\ }} 
\newcommand{\etc}{\textit{etc.}}
\newcommand{\ie}{\textit{i.e.\ }}
    
%\def\chaptername{}            % Changer le nom par defaut des chapitres
%\newcommand{\guillemets}[1]{\og #1 \fg} % Ajout de la commande \guillemets{}  
%\setlength{\parindent}{0pt}  % Indentation d'un paragraphe
%\setlength{\parskip}{1ex plus 0.5ex minus 0.2ex} %Espace entre deux paragraphes
  
                              
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%\makeindex                    % Création de l'index

\title{Bridging KAOS and Event B: Intermediate report}          
\author{Xavier Devroey}
\date{December, 11 2009 }


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}

%%%%%%%%%
% Titre :
%%%%%%%%%
\maketitle 

\tableofcontents
                   
                                                        
%\FloatBarrier
%\part{Bridging KAOS and Event B: existing approaches}
%	\FloatBarrier
	\section{Expressing KAOS Goal Models with Event-B: A. Matoussi}
	\input{11_02_Matoussi_Approach}

%\FloatBarrier
%\part{Bridging KAOS and Event B: proposed approach}
%	
%	\FloatBarrier
	\section{KAOS Object model to Event-B Context and Machine}
	\label{12_04_KAOS_Object_Model_to_Event_B_Context}
	\input{12_04_KAOS_Object_Model_to_Event_B_Context}
	
	\FloatBarrier
	\section{Decomposition of the initial model according to Agents}
	\label{12_06_Decomposition_according_to_Agents}
	\input{12_06_Decomposition_according_to_Agents}



\FloatBarrier
\appendix
\section{Decomposition according to Agents: Mine pump example}
	\label{Anx_decompo_according_agents_Mine_pump_example}
	\input{Anx_decompo_according_agents_Mine_pump_example}             

\bibliographystyle{apalike}
\bibliography{biblio}        % Affichage de la bibliographie

\end{document}
