% Use <AUTHOR>:<YEAR>:<TOPIC> for the reference labels.
% Use the surname of the main author for AUTHOR.
% Sort lexicographically by (YEAR, AUTHOR, TOPIC).
@article{Liu:1973:Scheduling,
  author      = {Liu, C. L. and Layland, James W.},
  title       = {{Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment}},
  journal     = {Journal of the ACM},
  volume      = {20},
  year        = {1973},
  pages       = {46-61},
}
@article{Djikstra:1975:GCL,
author = {Dijkstra, Edsger W.},
title = {Guarded Commands, Nondeterminacy and Formal Derivation of Programs},
year = {1975},
issue_date = {Aug. 1975},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {18},
number = {8},
issn = {0001-0782},
url = {https://doi.org/10.1145/360933.360975},
doi = {10.1145/360933.360975},
journal = {Commun. ACM},
month = {aug},
pages = {453–457},
numpages = {5},
}
@inproceedings{Varghese:1987:TimerWheel,
  author      = {Varghese, G. and Lauck, T.},
  title       = {{Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility}},
  booktitle   = {Proceedings of the 11th ACM Symposium on Operating Systems Principles},
  year        = {1987},
  url         = {http://www.cs.columbia.edu/~nahum/w6998/papers/sosp87-timing-wheels.pdf},
}
@manual{Motorola:1988:RTEID,
  author       = {Motorola},
  title        = {{Real Time Executive Interface Definition}},
  organization = {Motorola Inc., Microcomputer Division and Software Components Group, Inc.},
  note         = {DRAFT 2.1},
  year         = {1988},
  month        = {January},
  url          = {https://ftp.rtems.org/pub/rtems/publications/RTEID-ORKID/RTEID-2.1/RTEID-2_1.pdf}
}
@inproceedings{Lehoczky:1989:RM,
  author      = {Lehoczky, J. and Sha, L. and Ding, Y.},
  booktitle   = {Real-Time Systems Symposium},
  title       = {{The rate monotonic scheduling algorithm: exact characterization and average case behavior}},
  year        = {1989},
  pages       = {166-171},
}
@inproceedings{Lehoczky:1990:Arbitrary,
  author      = {Lehoczky, J. P.},
  booktitle   = {11th Real-Time Systems Symposium},
  title       = {{Fixed priority scheduling of periodic task sets with arbitrary deadlines}},
  year        = {1990},
  pages       = {201-209},
}
@article{Sha:1990:Ada,
  author      = {Sha, Lui and Goodenough, J. B.},
  journal     = {Computer},
  title       = {{Real-time scheduling theory and Ada}},
  year        = {1990},
  volume      = {23},
  pages       = {53-62},
}
@article{Sha:1990:PI,
  author      = {Sha, Lui and Rajkumar, Ragunathan and Lehoczky, John P.},
  journal     = {IEEE Transactions on Computers},
  title       = {{Priority Inheritance Protocols: An Approach to Real-Time Synchronization}},
  year        = {1990},
  volume      = {39},
  pages       = {1175-1185},
}
@manual{VITA:1990:ORKID,
  author       = {VITA},
  title        = {{Open Real-Time Kernel Interface Definition}},
  organization = {VITA, the VMEbus International Trade Association},
  note         = {Draft 2.1},
  year         = {1990},
  month        = {August},
  url          = {https://ftp.rtems.org/pub/rtems/publications/RTEID-ORKID/ORKID-2.1/ORKID-2_1.pdf}
}
@ARTICLE{Burns:1991:Review,
  author      = {Burns, A.},
  journal     = {Software Engineering Journal},
  title       = {{Scheduling hard real-time systems: a review}},
  year        = {1991},
  volume      = {6},
  pages       = {116-128},
}
@techreport{Varghese:1995:BSDCallout,
  author      = {Varghese, G. and Costello, A.},
  title       = {{Redesigning the BSD callout and timer facilities}},
  institution = {Washington University in St. Louis},
  note        = {WUCS-95-23},
  year        = {1995},
  month       = {November},
  url         = {http://web.mit.edu/afs.new/sipb/user/daveg/ATHENA/Info/wucs-95-23.ps},
}
@techreport{RFC2119,
  author        = {Scott Bradner},
  title         = {{Key words for use in RFCs to Indicate Requirement Levels}},
  howpublished  = {Internet Requests for Comments},
  type          = {BCP},
  number        = {14},
  year          = {1997},
  month         = {March},
  issn          = {2070-1721},
  publisher     = {RFC Editor},
  institution   = {RFC Editor},
  url           = {http://www.rfc-editor.org/rfc/rfc2119.txt},
  note          = {\url{http://www.rfc-editor.org/rfc/rfc2119.txt}},
}
@article{Blumofe:1999:WS,
  author      = {Blumofe, Robert D. and Leiserson, Charles E.},
  title       = {{Scheduling multithreaded computations by work stealing}},
  journal     = {Journal of the ACM},
  year        = 1999,
  pages       = {720-748},
  volume      = 46,
}
@book{Burns:2001:RealTimeSystems,
  author      = {Burns, A. and Wellings, A. J.},
  title       = {{Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX}},
  year        = {2001},
  month       = {November},
  isbn        = {978-0321417459},
  publisher   = {Addison-Wesley},
}
@inproceedings{Franke:2002:Futex,
  author      = {Franke, Hubertus and Russel, Rusty and Kirkwood, Matthew},
  title       = {{Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux}},
  booktitle   = {Proceedings of the Ottawa Linux Symposium 2002},
  pages       = {479-495},
  year        = {2002},
  url         = {https://www.kernel.org/doc/ols/2002/ols2002-pages-479-495.pdf},
}
@misc{Kamp:2002:Timecounters,
  author      = {Kamp, Poul-Henning},
  title       = {{Timecounters: Efficient and precise timekeeping in SMP kernels.}},
  year        = {2002},
  url         = {http://www.freebsd.dk/pubs/timecounter.pdf},
}
@inproceedings{Robertson:2003:ULE,
  author      = {Robertson, Jeff},
  title       = {{ULE: A Modern Scheduler For FreeBSD}},
  booktitle   = {Proceedings of BSDCon ’03},
  year        = {2003},
  url         = {https://www.usenix.org/legacy/event/bsdcon03/tech/full_papers/roberson/roberson.pdf},
}
@book{Lookheed:2005:JSFAV,
  title       = {{Joint Strike Fighter Air Vehicle C++ Coding Standards for the System Development and Demonstration Program}},
  year        = {2005},
  month       = {December},
  publisher   = {Lockheed Martin Corporation},
  url         = {http://www.stroustrup.com/JSF-AV-rules.pdf},
}
@book{Buttazzo:2005:SRS,
  author      = {Buttazzo, Giorgio and Lipari, Giuseppe and Abeni, Luca and Caccamo, Marco},
  title       = {{Soft Real-Time Systems: Predictability vs. Efficiency (Series in Computer Science)}},
  year        = {2005},
  publisher   = {Plenum Publishing Co.},
}
@inproceedings{Gleixner:2006:Hrtimers,
  author      = {Gleixner, Thomas and Niehaus, Douglas},
  title       = {{Hrtimers and Beyond: Transforming the Linux Time Subsystems}},
  booktitle   = {Proceedings of the Linux Symposium},
  pages       = {333-346},
  year        = {2006},
  url         = {https://www.kernel.org/doc/ols/2006/ols2006v1-pages-333-346.pdf},
}
@manual{Drepper:2007:Memory,
  author      = {Drepper, Ulrich},
  title       = {{What Every Programmer Should Know About Memory}},
  year        = {2007},
  url         = {http://www.akkadia.org/drepper/cpumemory.pdf},
}
@article{Hierons:2009:FMT,
  author    = {Robert M. Hierons and
               Kirill Bogdanov and
               Jonathan P. Bowen and
               Rance Cleaveland and
               John Derrick and
               Jeremy Dick and
               Marian Gheorghe and
               Mark Harman and
               Kalpesh Kapoor and
               Paul J. Krause and
               Gerald L{\"{u}}ttgen and
               Anthony J. H. Simons and
               Sergiy A. Vilkomir and
               Martin R. Woodward and
               Hussein Zedan},
  title     = {Using formal specifications to support testing},
  journal   = {{ACM} Comput. Surv.},
  volume    = {41},
  number    = {2},
  pages     = {9:1--9:76},
  year      = {2009},
  url       = {https://doi.org/10.1145/1459352.1459354},
  doi       = {10.1145/1459352.1459354},
}
@inproceedings{Mavin:2009:EARS,
  author      = {Mavin, Alistair and Wilkinson, Philip and Harwood, Adrian and Novak, Mark},
  title       = {{Easy approach to requirements syntax (EARS)}},
  booktitle   = {17th Requirements Engineering Conference},
  year        = {2009},
  month       = {10},
  pages       = {317-322},
  doi         = {10.1109/RE.2009.9},
  url         = {https://www.researchgate.net/profile/Alistair_Mavin/publication/224079416_Easy_approach_to_requirements_syntax_EARS/links/568ce3bf08aeb488ea311990/Easy-approach-to-requirements-syntax-EARS.pdf},
}
@inproceedings{Leijen:2009:TPL,
  author      = {Leijen, Daan and Schulte, Wolfram and Burckhardt, Sebastian},
  title       = {{The Design of a Task Parallel Library}},
  booktitle   = {Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09)},
  year        = {2009},
  month       = {September},
  publisher   = {ACM SIGPLAN},
  url         = {https://www.microsoft.com/en-us/research/wp-content/uploads/2009/09/TheDesignOfATaskParallelLibraryoopsla2009.pdf},
  address     = {Atlanta, FL},
}
@inproceedings{Mavin:2010:BigEars,
  author      = {Mavin, Alistair and Wilkinson, Philip},
  title       = {{Big Ears (The Return of Easy Approach to Requirements Engineering)}},
  booktitle   = {18th Requirements Engineering Conference},
  year        = {2010},
  month       = {11},
  pages       = {277-282},
  doi         = {10.1109/RE.2010.39},
  url         = {https://www.researchgate.net/profile/Alistair_Mavin/publication/224195362_Big_Ears_The_Return_of_Easy_Approach_to_Requirements_Engineering/links/568ce39808ae197e426a075e/Big-Ears-The-Return-of-Easy-Approach-to-Requirements-Engineering.pdf},
}
@phdthesis{Brandenburg:2011:SL,
  author      = {Brandenburg, Björn B.},
  title       = {{Scheduling and Locking in Multiprocessor Real-Time Operating Systems}},
  school      = {The University of North Carolina at Chapel Hill},
  year        = {2011},
  url         = {http://www.cs.unc.edu/~bbb/diss/brandenburg-diss.pdf},
}
@techreport{Boehm:2012:Seqlock,
  author      = {Boehm, Hans-J.},
  title       = {{Can Seqlocks Get Along With Programming Language Memory Models?}},
  institution = {HP Laboratories},
  note        = {HPL-2012-68},
  year        = {2012},
  month       = {June},
  url         = {http://www.hpl.hp.com/techreports/2012/HPL-2012-68.pdf}
}
@techreport{Halpern:2012:CilkN3409,
  author      = {Halpern, Pablo},
  title       = {{Strict Fork-Join Parallelism}},
  institution = {Intel, Corp.},
  note        = {N3409},
  year        = {2012},
  month       = {September},
  url         = {http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2012/n3409.pdf}
}
@book{MISRA:2012:C,
  author      = {Banham, Dave and Banks, Andrew and Bradbury, Mark and Burden, Paul and Dawson-Butterworth, Mark and Hennell, Mike and Hills, Chris and Montgomery, Steve and Tapp, Chris and Whiting, Liz},
  title       = {{MISRA C:2012 Guidelines for the Use of the C Language in Critical Systems}},
  year        = {2013},
  month       = {March},
  isbn        = {978-1906400101},
  publisher   = {MISRA Limited},
}
@manual{Uusitalo:2012:EARS,
  author      = {Uusitalo, Eero},
  title       = {{EARS quick reference sheet}},
  year        = {2012},
  month       = {January},
  url         = {https://aaltodoc.aalto.fi/bitstream/handle/123456789/12861/D5_uusitalo_eero_2012.pdf},
}
@book{Williams:2012:CA,
  author      = {Williams, Anthony},
  title       = {{C++ Concurrency in Action - Practical Multithreading}},
  year        = {2012},
  isbn        = {978-1933988771},
  publisher   = {Manning Publications Co},
}
@techreport{Halpern:2013:CilkN3557,
  author      = {Halpern, Pablo},
  title       = {{Considering a Fork-Join Parallelism Library}},
  institution = {Intel, Corp.},
  note        = {N3557},
  year        = {2013},
  month       = {March},
  url         = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3557.pdf}
}
@inproceedings{Brandenburg:2013:OMIP,
  author      = {Brandenburg, Björn B.},
  title       = {{A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications}},
  booktitle   = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
  pages       = {292-302},
  year        = {2013},
  url         = {http://www.mpi-sws.org/~bbb/papers/pdf/ecrts13b.pdf},
}
@inproceedings{Burns:2013:MrsP,
  author      = {Burns, A. and Wellings, A. J.},
  title       = {{A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP}},
  booktitle   = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
  year        = {2013},
  url         = {http://www-users.cs.york.ac.uk/~burns/MRSPpaper.pdf},
}
@manual{Drepper:2013:TLS,
  author      = {Drepper, Ulrich},
  title       = {{ELF Handling For Thread-Local Storage}},
  year        = {2013},
  url         = {http://www.akkadia.org/drepper/tls.pdf},
}
@inproceedings{Gujarati:2013:LPP,
  author    = {Gujarati, Arpan and Cerqueira, Felipe and Brandenburg, Björn B.},
  title     = {{Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities}},
  booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
  year      = {2013},
  url       = {https://people.mpi-sws.org/~bbb/papers/pdf/ecrts13a-rev1.pdf},
}
@book{PRQA:2013:HIC,
  title       = {{High Integrity C++ Coding Standard Version 4.0}},
  year        = {2013},
  month       = {October},
  publisher   = {Programming Research Ltd},
  url         = {http://www.codingstandard.com/},
}
@book{Wiegers:2013:SR,
  author      = {Wiegers, Karl and Beatty, Joy},
  title       = {{Software Requirements}},
  edition     = {3},
  year        = {2013},
  isbn        = {0735679665, 9780735679665},
  publisher   = {Microsoft Press},
}
@inproceedings{Cerqueira:2014:LPA,
  author    = {Cerqueira, Felipe and Gujarati, Arpan and Brandenburg, Björn B.},
  title     = {{Linux’s Processor Affinity API, Refined: Shifting Real-Time Tasks towards Higher Schedulability}},
  booktitle = {Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS 2014)},
  year      = {2014},
  url       = {http://www.mpi-sws.org/~bbb/papers/pdf/rtss14f.pdf},
}
@inproceedings{Compagnin:2014:RUN,
  author    = {Compagnin, Davide and Mezzetti, Enrico and Vardanega, Tullio},
  title     = {{Putting RUN into practice: implementation and evaluation}},
  booktitle = {Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS 2014)},
  year      = {2014},
}
@article{Browning:2014:RequirementsManagement,
  author      = {Browning, Jace and Adams, Robert},
  title       = {{Doorstop: Text-Based Requirements Management Using Version Control}},
  journal     = {Journal of Software Engineering and Applications},
  volume      = {7},
  year        = {2014},
  pages       = {187-194},
  url         = {http://www.scirp.org/pdf/JSEA_2014032713545074.pdf},
}
@techreport{Robinson:2014:CilkN3872,
  author      = {Robinson, Arch},
  title       = {{A Primer on Scheduling Fork-Join Parallelism with Work Stealing}},
  institution = {Intel, Corp.},
  note        = {N3872},
  year        = {2014},
  month       = {January},
  url         = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3872.pdf}
}
@inproceedings{Catellani:2015:MrsP,
  author      = {Catellani, Sebastiano and Bonato, Luca and Huber, Sebastian and Mezzetti, Enrico},
  title       = {{Challenges in the Implementation of MrsP}},
  booktitle   = {Reliable Software Technologies - Ada-Europe 2015},
  pages       = {179-195},
  year        = {2015},
}
@inproceedings{Huang:2015:RTB,
  author      = {Huang, Wen-Hung and Chen, Jian-Jia},
  title       = {Response Time Bounds for Sporadic Arbitrary-deadline Tasks Under Global Fixed-priority Scheduling on Multiprocessors},
  booktitle   = {ACM Proceedings of the 23rd International Conference on Real Time and Networks Systems},
  year        = {2015},
  pages       = {215-224},
}
@book{CERT:2016:CCS,
  title       = {{SEI CERT C Coding Standard}},
  year        = {2016},
  publisher   = {Carnegie Mellon University},
}
@inproceedings{Chen:2016:Overrun,
  author      = {Chen, Kuan-Hsun and von der Br\"uggen, Georg and Chen, Jian-Jia},
  title       = {{Overrun Handling for Mixed-Criticality Support in RTEMS}},
  booktitle   = {Mixed Criticality Systems - WMC 2016},
  pages       = {13-14},
  year        = {2016},
  url         = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2016-wmc.pdf},
}
@inproceedings{vonderBr:2016:DynRT,
  author      = {von der Br\"uggen, Georg and Chen, Kuan-Hsun and Huang, Wen-Hung and Chen, Jian-Jia},
  booktitle   = {IEEE Real-Time Systems Symposium (RTSS)},
  title       = {{Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments}},
  year        = {2016},
  pages       = {303-314},
}
@inproceedings{Lozi:2016:LSDWC,
  author    = {Lozi, Jean-Pierre and Lepers, Baptiste and Funston, Justin and Gaud, Fabien and Quéma, Vivien and Fedorova, Alexandra},
  title     = {{The Linux Scheduler: a Decade of Wasted Cores}},
  booktitle = {Proceedings of the Eleventh European Conference on Computer Systems (EuroSys '16)},
  year      = {2016},
  url       = {https://hal.archives-ouvertes.fr/hal-01295194/document},
}
@inproceedings{Mavin:2016:LLEARS,
  author      = {Mavin, Alistair and Wilkinson, Philip and Gregory, Sarah and Uusitalo, Eero},
  title       = {{Listens Learned (8 Lessons Learned Applying EARS)}},
  booktitle   = {24th International Requirements Engineering Conference},
  year        = {2016},
  month       = {September},
  doi         = {10.1109/RE.2016.38},
  url         = {https://www.researchgate.net/profile/Alistair_Mavin/publication/308970788_Listens_Learned_8_Lessons_Learned_Applying_EARS/links/5ab0d42caca2721710fe5017/Listens-Learned-8-Lessons-Learned-Applying-EARS.pdf},
}
@manual{Butterfield:2021:FV1-200,
  author       = {Andrew Butterfield and Mike Hinchey},
  organization = {Lero -- the Irish Software Research Centre},
  title        = {FV1-200: Formal Verification Plan},
  year         = {2021}
}
@mastersthesis{Jennings:2021:FV,
  author =       {Robert Jennings},
  title =        {{Formal Verification of a Real-Time Multithreaded Operating System}},
  school =       {School of Computer Science and Statistics},
  year =         {2021},
  type =         {Master of Science in {Computer Science (MCS)}},
  address =      {Trinity College, Dublin 2, Ireland},
  month =        {August},
}
@mastersthesis{Jaskuc:2022:TESTGEN,
  author =       {Jerzy Ja{\'{s}}ku{\'{c}}},
  title =        {{SPIN/Promela-Based Test Generation Framework for RTEMS Barrier Manager}},
  school =       {School of Computer Science and Statistics},
  year =         {2022},
  type =         {Master of Science in {Computer Science (MCS)}},
  address =      {Trinity College, Dublin 2, Ireland},
  month =        {April},
}
@mastersthesis{Lynch:2022:TESTGEN,
  author =       {Eoin Lynch},
  title =        {{Using Promela/SPIN to do Test Generation for RTEMS-SMP}},
  school =       {School of Engineering},
  year =         {2022},
  type =         {Master of {Engineering (Computer Engineering)}},
  address =      {Trinity College, Dublin 2, Ireland},
  month =        {April},
}
@misc{RTEMS:CPU,
  title     = {{RTEMS CPU Architecture Supplement}},
  url       = {https://docs.rtems.org/branches/master/cpu-supplement.pdf},
}
% ECSS
% Sort lexicographically
@manual{ECSS_E_ST_10_02C_R1,
  author       = {ECSS},
  organization = {European Cooperation for Space Standardization},
  title        = {{ECSS-E-ST-10-02C - Space engineering - Verification}},
  year         = {2018},
  url          = {https://ecss.nl/standard/ecss-e-st-10-02c-rev-1-verification-1-february-2018/},
}
@manual{ECSS_E_ST_10_06C,
  author       = {ECSS},
  organization = {European Cooperation for Space Standardization},
  title        = {{ECSS-E-ST-10-06C - Technical requirements specification}},
  year         = {2009},
  url          = {https://ecss.nl/standard/ecss-e-st-10-06c-technical-requirements-specification/},
}
@manual{ECSS_E_ST_10C_R1,
  author       = {ECSS},
  organization = {European Cooperation for Space Standardization},
  title        = {{ECSS-E-ST-10C Rev.1 - System engineering general requirements}},
  year         = {2017},
  url          = {https://ecss.nl/standard/ecss-e-st-10c-rev-1-system-engineering-general-requirements-15-february-2017/},
}
@manual{ECSS_E_ST_40C,
  author       = {ECSS},
  organization = {European Cooperation for Space Standardization},
  title        = {{ECSS-E-ST-40C - Software general requirements}},
  year         = {2009},
  url          = {https://ecss.nl/standard/ecss-e-st-40c-software-general-requirements/},
}
@manual{ECSS_M_ST_40C_R1,
  author       = {ECSS},
  organization = {European Cooperation for Space Standardization},
  title        = {{ECSS-M-ST-40C Rev.1 - Configuration and information management}},
  year         = {2009},
  url          = {https://ecss.nl/standard/ecss-m-st-40c-rev-1-configuration-and-information-management/},
}
@manual{ECSS_Q_ST_80C_R1,
  author       = {ECSS},
  organization = {European Cooperation for Space Standardization},
  title        = {{ECSS-Q-ST-80C Rev.1 - Software product assurance}},
  year         = {2017},
  url          = {https://ecss.nl/standard/ecss-q-st-80c-rev-1-software-product-assurance-15-february-2017/},
}
@manual{ECSS_S_ST_00_01C,
  author       = {ECSS},
  organization = {European Cooperation for Space Standardization},
  title        = {{ECSS-S-ST-00-01C - Glossary of terms}},
  year         = {2012},
  url          = {https://ecss.nl/standard/ecss-s-st-00-01c-glossary-of-terms-1-october-2012/},
}