--- a/prio/Paper/document/root.bib	Sun Feb 12 15:12:50 2012 +0000
+++ b/prio/Paper/document/root.bib	Sun Feb 12 23:20:06 2012 +0000
@@ -1,10 +1,13 @@
-@MISC{Yodaiken02,
+
+
+@TechReport{Yodaiken02,
   author =       {V.~Yodaiken},
   title =        {{A}gainst {P}riority {I}nheritance},
-  year =         {2002},
-  howpublished = {\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}},
+  institution =  {Finite State Machine Labs (FSMLabs)},
+  year =         {2004}
 }
 
+
 @Book{Vahalia96,
   author =       {U.~Vahalia},
   title =        {{UNIX} {I}nternals: {T}he {N}ew {F}rontiers},
@@ -43,12 +46,23 @@
   year = 	"1980"
 }
 
-@MISC{Faria08,
+@inproceedings{Wang09,
+  author    = {J.~Wang and H.~Yang and X.~Zhang},
+  title     = {{L}iveness {R}easoning with {I}sabelle/{HOL}},
+  booktitle = {Proc.~of the 22nd International Conference on Theorem Proving in 
+               Higher Order Logics (TPHOLs)},
+  year      = {2009},
+  pages     = {485--499},
+  volume    = {5674},
+  series    = {LNCS}
+}
+
+@PhdThesis{Faria08,
   author =       {J.~M.~S.~Faria},
   title =        {{F}ormal {D}evelopment of {S}olutions for {R}eal-{T}ime {O}perating {S}ystems 
                  with {TLA+/TLC}},
-  year =         {2008},
-  howpublished = {\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}},
+  school =       {University of Porto},
+  year =         {2008}
 }
 
 
@@ -92,38 +106,27 @@
 		 \url{http://www.sdl.sri.com/dsa/publis/prio-ceiling.html}",
 }
 
-@InProceedings{conf/fase/JahierHR09,
-  title =	"Synchronous Modeling and Validation of Priority
-		 Inheritance Schedulers",
-  author =	"E. Jahier and B. Halbwachs and P.
-		 Raymond",
-  bibdate =	"2009-04-01",
-  bibsource =	"DBLP,
-		 http://dblp.uni-trier.de/db/conf/fase/fase2009.html#JahierHR09",
-  booktitle =	"FASE",
-  booktitle =	"Fundamental Approaches to Software Engineering, 12th
-		 International Conference, {FASE} 2009, Held as Part of
-		 the Joint European Conferences on Theory and Practice
-		 of Software, {ETAPS} 2009, York, {UK}, March 22-29,
-		 2009. Proceedings",
-  publisher =	"Springer",
+@InProceedings{Jahier09,
+  title =	"{S}ynchronous {M}odeling and {V}alidation of {P}riority
+		 {I}nheritance {S}chedulers",
+  author =	"E.~Jahier and B.~Halbwachs and P.~Raymond",
+  booktitle =	"Proc.~of the 12th International Conference on Fundamental 
+                 Approaches to Software Engineering (FASE)",
   year = 	"2009",
   volume =	"5503",
-  editor =	"Marsha Chechik and Martin Wirsing",
-  ISBN = 	"978-3-642-00592-3",
-  pages =	"140--154",
-  series =	"Lecture Notes in Computer Science",
-  URL =  	"http://dx.doi.org/10.1007/978-3-642-00593-0",
+  series =      "LNCS",
+  pages =	"140--154"
 }
 
-@InProceedings{WellingsBSB07,
-  title =	"Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java",
-  author =	"A. J. Wellings and A. Burns and O. M. Santos and B. M. Brosgol",
+@InProceedings{Wellings07,
+  title =	"{I}ntegrating {P}riority {I}nheritance {A}lgorithms in the {R}eal-{T}ime 
+                 {S}pecification for {J}ava",
+  author =	"A.~Wellings and A.~Burns and O.~M.~Santos and B.~M.~Brosgol",
   publisher =	"IEEE Computer Society",
   year = 	"2007",
-  booktitle =	"Proceedings of the 10th IEEE International Symposium on Object 
-                and Component-Oriented Real-Time Distributed Computing",
-  pages =	"115--123",
+  booktitle =	"Proc.~of the 10th IEEE International Symposium on Object 
+                and Component-Oriented Real-Time Distributed Computing (ISORC)",
+  pages =	"115--123"
 }
 
 @Article{Wang:2002:SGP,