
diff -r 9e664c268e25 -r 9764023f719e Journal/Paper.thy
--- a/Journal/Paper.thy	Fri Dec 21 23:32:58 2012 +0000
+++ b/Journal/Paper.thy	Sat Dec 22 01:58:45 2012 +0000
@@ -1444,7 +1444,8 @@
 
   PIP is a scheduling algorithm for single-processor systems. We are
   now living in a multi-processor world. Priority Inversion certainly
-  occurs also there.  However, there is very little ``foundational''
+  occurs also there, see for example \cite{Brandenburg11, Davis11}  
+  However, there is very little ``foundational''
   work about PIP-algorithms on multi-processor systems.  We are not
   aware of any correctness proofs, not even informal ones. There is an
   implementation of a PIP-algorithm for multi-processors as part of the
@@ -1478,12 +1479,12 @@
   %can be downloaded from
   %\url{http://www.inf.kcl.ac.uk/staff/urbanc/pip.html}.
 
-  \medskip
+  %\medskip
 
-  \noindent
-  {\bf Acknowledgements:}
-  We are grateful for the comments we received from anonymous
-  referees.
+  %\noindent
+  %{\bf Acknowledgements:}
+  %We are grateful for the comments we received from anonymous
+  %referees.
 
   \bibliographystyle{plain}
   \bibliography{root}




