--- /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