--- a/prio/Paper/document/root.bib	Tue Feb 14 04:33:31 2012 +0000
+++ b/prio/Paper/document/root.bib	Thu Feb 16 08:12:01 2012 +0000
@@ -1,3 +1,12 @@
+@inproceedings{Haftmann08,
+  author    = {F.~Haftmann and M.~Wenzel},
+  title     = {{L}ocal {T}heory {S}pecifications in {I}sabelle/{I}sar},
+  booktitle = {Proc.~of the International Conference on Types, Proofs and Programms (TYPES)},
+  year      = {2008},
+  pages     = {153-168},
+  series    = {LNCS},
+  volume    = {5497}
+}
 
 
 @TechReport{Yodaiken02,
@@ -94,16 +103,14 @@
   year =      {2010}
 }
 
-@TechReport{dutertre99b,
-  title =	"The {Priority Ceiling Protocol}: Formalization and
-		 Analysis Using {PVS}",
-  author =	"B. Dutertre",
-  month =	Oct,
-  year = 	"1999",
-  institution =  "System Design Laboratory, SRI International",
-  address =	"Menlo Park, CA",
-  note = 	"Available at
-		 \url{http://www.sdl.sri.com/dsa/publis/prio-ceiling.html}",
+@inproceedings{dutertre99b,
+  title =	"{T}he {P}riority {C}eiling {P}rotocol: {F}ormalization and
+		 {A}nalysis {U}sing {PVS}",
+  author =	"B.~Dutertre",
+  booktitle = {Proc.~of the 21st IEEE Conference on Real-Time Systems Symposium (RTSS)},
+  year = {2000},
+  pages = {151--160},
+  publisher = {IEEE Computer Society}
 }
 
 @InProceedings{Jahier09,