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