# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1356141525 0
# Node ID 9764023f719e83bdf6672be7f66f3afe68c4f78a
# Parent  9e664c268e25f6b9894f17dd2926b4303ba81d83
added

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}
diff -r 9e664c268e25 -r 9764023f719e Journal/document/root.bib
--- a/Journal/document/root.bib	Fri Dec 21 23:32:58 2012 +0000
+++ b/Journal/document/root.bib	Sat Dec 22 01:58:45 2012 +0000
@@ -21,6 +21,16 @@
   number =       6
 }
 
+@article{Davis11,
+ author = {R.~I.~Davis and A.~Burns},
+ title = {{A} {S}urvey of {H}ard 
+          {R}eal-{T}ime {S}cheduling for {M}ultiprocessor {S}ystems},
+ journal = {ACM Computing Surveys},
+ volume = {43},
+ number = {4},
+ year = {2011},
+ pages = {35:1--35:44}
+} 
 
 @phdthesis{Brandenburg11,
     Author = {Bj\"{o}rn B. Brandenburg},
diff -r 9e664c268e25 -r 9764023f719e journal.pdf
Binary file journal.pdf has changed