@MISC{Yodaiken02,
  author = {V.~Yodaiken},
  title = {{A}gainst {P}riority {I}nheritance},
  year = {2002},
  howpublished={\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}},
}

@Book{Vahalia96,
  author =    {U.~Vahalia},
  title =        {{UNIX} {I}nternals: {T}he {N}ew {F}rontiers},
  publisher =    {Prentice-Hall},
  year =         {1996}
}

@Article{Reeves98,
  title =	"{R}e: {W}hat {R}eally {H}appened on {M}ars?",
  author =	"G.~E.~Reeves",
  journal =	"Risks Forum",
  year = 	"1998",
  number =	"54",
  volume =	"19"
}

@Article{Sha90,
  title =	"{P}riority {I}nheritance {P}rotocols: {A}n {A}pproach to
		 {R}eal-{T}ime {S}ynchronization",
  author =	"L.~Sha and R.~Rajkumar and J.~P.~Lehoczky",
  journal =	"IEEE Transactions on Computers",
  year = 	"1990",
  number =	"9",
  volume =	"39",
  pages =	"1175--1185"
}


@Article{Lampson80,
  author =	"B.~W.~Lampson and D.~D.~Redell",
  title =	"{{E}xperiences with {P}rocesses and {M}onitors in {M}esa}",
  journal =	"Communications of the ACM",
  volume =	"23",
  number =	"2",
  pages =	"105--117",
  year = 	"1980"
}






@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}},
}





@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",
}