@book{buttazzo2011hard,
  title={Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications},
  author={Buttazzo, G.C.},
  isbn={9781461406761},
  lccn={2011937234},
  series={Real-Time Systems Series},
  url={https://books.google.nl/books?id=h6q-e4Q\_rzgC},
  year={2011},
  publisher={Springer US}
}

@manual{bcm:2835peripherals,
    organization = "Broadcom",
    title        = "BCM2835 ARM Peripherals",
    year         = 2012,
    month        = 2,
    url          = "http://www.raspberrypi.org/wp-content/uploads/2012/02/BCM2835-ARM-Peripherals.pdf"
}

@manual{arm:arm,
    organization = "ARM Limited",
    title        = "ARM Architecture Reference Manual",
    year         = 2005,
    month        = 7,
    note         = "ARMv6",
    url          = "https://www.scss.tcd.ie/~waldroj/3d1/arm_arm.pdf"
}

@manual{arm:arm1176,
    organization = "ARM Limited",
    title        = "ARM1176JZF-S Technical Reference Manual",
    year         = 2009,
    edition      = "r0p7",
    url          = "http://infocenter.arm.com/help/topic/com.arm.doc.ddi0301h/DDI0301H_arm1176jzfs_r0p7_trm.pdf"
}

@manual{micrium:ucosmanual,
    organization = "Micrium, Inc.",
    title        = "\ucosiii The Real-Time Kernel User Manual",
    url          = "https://imgf.lt/968.pdf"
}

@online{micrium:nxplpc,
    organization = "Micrium, Inc.",
    title        = "Source for the NXP LPC2923 port of \textmu C-OS/III",
    url          = "https://www.micrium.com/download/micrium_x3-lpc2923_ucos-iii/"
}

@online{bcm:2835errata,
    organization = "Embedded Linux Wiki",
    title        = "BCM2835 datasheet errata",
    url          = "https://elinux.org/BCM2835_datasheet_errata"
}

@thesis{sfd:realpi,
    author       = "Samuel F. Delaney",
    title        = "RealPi - A Real Time Operating System on the Raspberry Pi",
    year         = 2018,
    month        = 12,
    institution  = "University of Nevada, Reno"
}

@online{arm:embeddedmarketshare,
    title = "Embedded segment market update",
    year  = 2015,
    month = 7,
    organization = "ARM Limited",
    url = "https://www.arm.com/zh/files/event/1_2015_ARM_Embedded_Seminar_Richard_York.pdf"
}

@article{macworld:multifinder,
    title = "The Finder Evolves",
    year  = 1987,
    month = 9,
    pages = 12,
    journaltitle = "MacWorld",
    url = {https://archive.org/stream/MacWorld_8709_September_1987#page/n13/mode/2up}
}

@manual{rpi:uart,
    title = "The Raspberry Pi UARTs",
    year  = 2020,
    month = 02,
    url = {https://www.raspberrypi.org/documentation/configuration/uart.md},
    organization = "Raspberry Pi Foundation"
}

@manual{rpi:gpuclockpower,
    title = "Frequency management and thermal control",
    year  = 2020,
    month = 01,
    url = {https://www.raspberrypi.org/documentation/hardware/raspberrypi/frequency-management.md},
    organization = "Raspberry Pi Foundation"
}

@online{rpi:opensourcevpu,
    title = "Tools and information for the Broadcom VideoCore IV",
    author = "Herman Hermitage",
    url = {https://github.com/hermanhermitage/videocoreiv}
}

@misc{rpi:bootforum,
    title = "Raspberry Pi boot process",
    date = {2012-05-27},
    url = {https://www.raspberrypi.org/forums/viewtopic.php?f=63&t=6685}

}

@book{osconcepts,
    title = "Operating System Concepts",
    author = "Abraham Silberschatz and Peter Baer Galvin and Greg Gagne",
    edition = 9,
    year = 2013,
    isbn = "978-1-118-06333-0",
    publisher = "John Wiley \& Sons, Inc."
}

@article{Chetto1990,
  doi = {10.1007/bf00365326},
  url = {https://doi.org/10.1007/bf00365326},
  year = {1990},
  month = sep,
  publisher = {Springer Science and Business Media {LLC}},
  volume = {2},
  number = {3},
  pages = {181--194},
  author = {H. Chetto and M. Silly and T. Bouchentouf},
  title = {Dynamic scheduling of real-time tasks under precedence constraints},
  journal = {Real-Time Systems}
}


@article{tue:hfs,
title = "Extending an open-source real-time operating system with hierarchical scheduling",
author = "M.J. Holenderski and W.A. Cools and R.J. Bril and J.J. Lukkien",
year = "2010",
journal = {TU Eindhoven Computer Science Reports},
publisher = "Technische Universiteit Eindhoven"
}

@inproceedings{linuxedf,
    title = "An EDF scheduling class for the Linux kernel",
    author = "D. Faggioli and F. Checconi and M. Trimarchi and C. Scordino",
    year = {2009},
    month = sep,
    eventtitle = "Real-Time Linux Workshop"
}

@inproceedings{Cho2011,
  doi = {10.1109/icspcc.2011.6061645},
  url = {https://doi.org/10.1109/icspcc.2011.6061645},
  year = {2011},
  month = sep,
  publisher = {{IEEE}},
  author = {Keng-Mao Cho and Chun-Hung Liang and Jun-Ying Huang and Chu-Shing Yang},
  title = {Design and implementation of a general purpose power-saving scheduling algorithm for embedded systems},
  booktitle = {2011 {IEEE} International Conference on Signal Processing,  Communications and Computing ({ICSPCC})}
}

@InProceedings{hansen_et_al:wcet,
  author =	{Jeffery Hansen and Scott Hissam and Gabriel A. Moreno},
  title =	{{Statistical-Based WCET Estimation and Validation}},
  booktitle =	{9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) },
  pages =	{1--11},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-14-9},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{10},
  editor =	{Niklas Holsti},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2009/2291},
  URN =		{urn:nbn:de:0030-drops-22916},
  doi =		{10.4230/OASIcs.WCET.2009.2291},
  note =	{also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-252-6},
  annote =	{Keywords: WCET analysis, measurement-based, extreme value theory, EVT, Gumbel}
}

@inproceedings{dodiu2010,
  title={Improving commercial RTOS performance using a custom interrupt management scheduling policy},
  author={Dodiu, Eugen and Gaitan, Vasile Gheorghita and Graur, Adrian},
  booktitle={Proceedings of the 2010 International Conference on Applied Computing (ACC’10)},
  pages={61--66},
  year={2010}
}

@article{salmani2005modified,
  title={A modified maximum urgency first scheduling algorithm for real-time tasks},
  author={Salmani, Vahid and Zargar, Saman Taghavi and Naghibzadeh, Mahmoud},
  journal={World Academy of Science, Engineering and Technology},
  volume={9},
  number={4},
  pages={19--23},
  year={2005},
  publisher={Citeseer}
}

@article{chen2006flexible,
  title={Flexible maximum urgency first scheduling for distributed real-time systems},
  author={Chen, Yingming and Lu, Chenyang},
  year={2006}
}

@article{Liu1973,
  doi = {10.1145/321738.321743},
  url = {https://doi.org/10.1145/321738.321743},
  year = {1973},
  month = jan,
  publisher = {Association for Computing Machinery ({ACM})},
  volume = {20},
  number = {1},
  pages = {46--61},
  author = {C. L. Liu and James W. Layland},
  title = {Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment},
  journal = {Journal of the {ACM} ({JACM})}
}

@article{behera2012enhanced,
  title={Enhanced Maximum Urgency First Algorihm with Intelligent Laxity Real Time Systems},
  author={Behera, S and Raffat, Naziya and Mallik, Minarva},
  journal={International Journal of Computer Applications},
  volume={975},
  pages={8887},
  year={2012},
  publisher={International Journal of Computer Applications, 244 5 th Avenue,\# 1526, New~…}
}

@inproceedings{Lehoczky1989,
  title={The rate monotonic scheduling algorithm},
  author={John P. Lehoczky and Lui Sha and Y. Ding},
  booktitle={RTSS 1989},
  year={1989}
}

@article{Baruah1990,
  doi = {10.1007/bf01995675},
  url = {https://doi.org/10.1007/bf01995675},
  year = {1990},
  month = nov,
  publisher = {Springer Science and Business Media {LLC}},
  volume = {2},
  number = {4},
  pages = {301--324},
  author = {Sanjoy K. Baruah and Louis E. Rosier and Rodney R. Howell},
  title = {Algorithms and complexity concerning the preemptive scheduling of periodic,  real-time tasks on one processor},
  journal = {Real-Time Systems}
}

@inproceedings{Albers,
  doi = {10.1109/date.2005.128},
  url = {https://doi.org/10.1109/date.2005.128},
  publisher = {{IEEE}},
  year = 2005,
  author = {K. Albers and F. Slomka},
  title = {Efficient Feasibility Analysis for Real-Time Systems with {EDF} Scheduling},
  booktitle = {Design,  Automation and Test in Europe}
}

@article{Bini2003,
  doi = {10.1109/tc.2003.1214341},
  url = {https://doi.org/10.1109/tc.2003.1214341},
  year = {2003},
  month = jul,
  publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
  volume = {52},
  number = {7},
  pages = {933--942},
  author = {E. Bini and G.C. Buttazzo and G.M. Buttazzo},
  title = {Rate monotonic analysis: the hyperbolic bound},
  journal = {{IEEE} Transactions on Computers}
}

@article{Buttazzo2005,
  doi = {10.1023/b:time.0000048932.30002.d9},
  url = {https://doi.org/10.1023/b:time.0000048932.30002.d9},
  year = {2005},
  month = jan,
  publisher = {Springer Science and Business Media {LLC}},
  volume = {29},
  number = {1},
  pages = {5--26},
  author = {Giorgio C. Buttazzo},
  title = {Rate Monotonic vs. {EDF}: Judgment Day},
  journal = {Real-Time Systems}
}

@article{Audsley1993,
    author = {N. Audsley and A. Burns and M. Richardson and K. Tindell and A. J. Wellings},
    title = {Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling},
    journal = {Software Engineering Journal},
    year = {1993},
    volume = {8},
    pages = {284--292}
}

@article{Zhang2009,
  doi = {10.1109/tc.2009.58},
  url = {https://doi.org/10.1109/tc.2009.58},
  year = {2009},
  month = sep,
  publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
  volume = {58},
  number = {9},
  pages = {1250--1258},
  author = {Fengxiang Zhang and A. Burns},
  title = {Schedulability Analysis for Real-Time Systems with {EDF} Scheduling},
  journal = {{IEEE} Transactions on Computers}
}

@online{bcmwdt,
    title = "Linux BCM2835 Watchdog Driver",
    url = {https://github.com/torvalds/linux/blob/master/drivers/watchdog/bcm2835_wdt.c},
    author = "Lubomir Rintel",
    year = 2013
}
