--- a/Journal/document/root.tex	Thu Jun 20 23:28:26 2013 -0400
+++ b/Journal/document/root.tex	Tue Feb 25 20:01:47 2014 +0000
@@ -1,7 +1,8 @@
-\documentclass{article}
-\textwidth 130mm
-\textheight 200mm
-\renewenvironment{abstract}{\section*{Abstract}\small}{}
+%\documentclass{article}
+\documentclass{llncs}
+%\textwidth 130mm
+%\textheight 200mm
+%\renewenvironment{abstract}{\section*{Abstract}\small}{}
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{amsmath}
@@ -37,12 +38,12 @@
 \newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}}
 \definecolor{mygrey}{rgb}{.80,.80,.80}
 
-\newtheorem{definition}{Definition}
-\newtheorem{theorem}[definition]{Theorem}
-\newtheorem{lemma}[definition]{Lemma}
-\newtheorem{proof}{Proof}
-\renewcommand{\theproof}{}
-\newcommand{\qed}{\hfill \mbox{\raggedright \rule{0.1in}{0.1in}}}
+%\newtheorem{definition}{Definition}
+%\newtheorem{theorem}[definition]{Theorem}
+%\newtheorem{lemma}[definition]{Lemma}
+%\newtheorem{proof}{Proof}
+%\renewcommand{\theproof}{}
+%\newcommand{\qed}{\hfill \mbox{\raggedright \rule{0.1in}{0.1in}}}
 
 
 \begin{document}
@@ -51,9 +52,9 @@
 \renewcommand{\thefootnote}{\arabic{footnote}}
 
 \title{Priority Inheritance Protocol Proved Correct}
-\author{Xingyuan Zhang, Christian Urban and Chunhan Wu}
-%\institute{PLA University of Science and Technology, China \and 
-%           King's College London, United Kingdom}
+\author{Xingyuan Zhang$^1$, Christian Urban$^2$ and Chunhan Wu$^1$}
+\institute{PLA University of Science and Technology, China \and 
+           King's College London, United Kingdom}
 \maketitle
 
 \begin{abstract}