@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, author = {Uresh Vahalia}, 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",}@Book{Vahalia:1996:UI, author = "U. Vahalia", title = "{UNIX} Internals, {The New Frontiers}", publisher = "Pren{\-}tice-Hall", pages = "xxxiii + 601", year = "1996", ISBN = "0-13-101908-2", isbn-13 = "978-0-13-101908-9", LCCN = "QA76.76.063V33 1996", bibdate = "Mon Sep 23 08:50:16 1996", price = "US\$47.75", 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/|", bibsource = "http://www.math.utah.edu/pub/tex/bib/css.bib",}