diff -r 12e9aa68d5db -r 4190df6f4488 prio/Paper/document/root.bib
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/prio/Paper/document/root.bib	Tue Jan 24 00:20:09 2012 +0000
@@ -0,0 +1,152 @@
+@Article{Lampson:Redell:cacm:1980,
+  author =	"B. Lampson and D. Redell",
+  title =	"{Experience with processes and monitors in Mesa}",
+  journal =	"Communications of the ACM",
+  volume =	"23",
+  number =	"2",
+  pages =	"105--117",
+  month =	feb,
+  year = 	"1980",
+  keywords =	"Mesa, processes, monitors",
+}
+
+@Article{journals/tc/ShaRL90,
+  title =	"Priority Inheritance Protocols: An Approach to
+		 Real-Time Synchronization",
+  author =	"S. Liu  and R. Rajkumar and J. P. Lehoczky",
+  journal =	"IEEE Trans. Computers",
+  year = 	"1990",
+  number =	"9",
+  volume =	"39",
+  bibdate =	"2011-10-27",
+  bibsource =	"DBLP,
+		 http://dblp.uni-trier.de/db/journals/tc/tc39.html#ShaRL90",
+  pages =	"1175--1185",
+  URL =  	"http://doi.ieeecomputersociety.org/10.1109/12.57058",
+}
+
+@MISC{yodaiken-july02,
+author = {V. Yodaiken},
+title = {Against Priority Inheritance},
+month = July,
+year = {2002},
+howpublished={\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}},
+}
+
+@MISC{locke-july02,
+author = {D. Locke},
+title = {Priority Inheritance: The Real Story},
+month = July,
+year = {2002},
+howpublished={\url{http://www.math.unipd.it/~tullio/SCD/2007/Materiale/Locke.pdf}},
+}
+
+@MISC{Faria08,
+author = {J. M. S. Faria},
+title = {Formal Development of Solutions for Real-Time Operating Systems with TLA+/TLC},
+year = {2008},
+howpublished={\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}},
+}
+
+
+http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf
+
+@Article{Reeves-Glenn-1998,
+  title =	"Re: What Really Happened on Mars?",
+  author =	"G. Reeves",
+  journal =	"Risks-Forum Digest",
+  year = 	"1998",
+  month = "January",
+  number =	"58",
+  volume =	"19",
+}
+
+@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{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",
+  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",
+}
+
+@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",
+  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",
+}
+
+@Article{Wang:2002:SGP,
+  author =	"Y. Wang and E. Anceaume and F. Brasileiro and F.
+		 Greve and M. Hurfin",
+  title =	"Solving the group priority inversion problem in a
+		 timed asynchronous system",
+  journal =	"IEEE Transactions on Computers",
+  volume =	"51",
+  number =	"8",
+  pages =	"900--915",
+  month =	aug,
+  year = 	"2002",
+  CODEN =	"ITCOB4",
+  doi =  	"http://dx.doi.org/10.1109/TC.2002.1024738",
+  ISSN = 	"0018-9340 (print), 1557-9956 (electronic)",
+  issn-l =	"0018-9340",
+  bibdate =	"Tue Jul 5 09:41:56 MDT 2011",
+  bibsource =	"http://www.computer.org/tc/;
+		 http://www.math.utah.edu/pub/tex/bib/ieeetranscomput2000.bib",
+  URL =  	"http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1024738",
+  acknowledgement = "Nelson H. F. Beebe, University of Utah, Department
+		 of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake
+		 City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1
+		 801 581 4148, e-mail: \path|beebe@math.utah.edu|,
+		 \path|beebe@acm.org|, \path|beebe@computer.org|
+		 (Internet), URL:
+		 \path|http://www.math.utah.edu/~beebe/|",
+  fjournal =	"IEEE Transactions on Computers",
+  doi-url =	"http://dx.doi.org/10.1109/TC.2002.1024738",
+}
+
+@Article{journals/rts/BabaogluMS93,
+  title =	"A Formalization of Priority Inversion",
+  author =	"{\"O} Babaoglu and K. Marzullo and F. B. Schneider",
+  journal =	"Real-Time Systems",
+  year = 	"1993",
+  number =	"4",
+  volume =	"5",
+  bibdate =	"2011-06-03",
+  bibsource =	"DBLP,
+		 http://dblp.uni-trier.de/db/journals/rts/rts5.html#BabaogluMS93",
+  pages =	"285--303",
+  URL =  	"http://dx.doi.org/10.1007/BF01088832",
+}
\ No newline at end of file