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

  title =        {{UNIX} {I}nternals: the {N}ew {F}rontier},

  publisher =    {Prentice-Hall},

  year =         {1996}

}

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

}