References for Spark Lecture
Brian E. Lavender
brian@brie.com

Ada Community Edition download (ARM / x86)
https://www.adacore.com/download

Ada Programming Language Wikipedia
https://en.wikipedia.org/wiki/Ada_(programming_language)

C130 Loop video
https://youtu.be/xbwM-nBKVaI?t=58

Press release on Ada and C130
https://www.adacore.com/press/c-130j/

Safe and Secure Software, An Invitation to Ada
e-book
https://www.adacore.com/uploads/technical-papers/SafeSecureAdav2015-covered.pdf

Intro to spark
https://learn.adacore.com/courses/intro-to-spark/index.html

Limitations to programming
https://learn.adacore.com/courses/intro-to-spark/chapters/01_Overview.html#limitations

What is Spark?
https://learn.adacore.com/courses/intro-to-spark/chapters/01_Overview.html#what-is-it

Introduction to Ada Programming
https://www.amazon.com/Introduction-Ada-Programming-Andrew-Shvets/dp/1987673859
by Andrew Shvets

Learning Ada 2012 by writing simple games (E-Book)
https://drive.google.com/file/d/1hdLc9nZzTnBDcN9qJeDlJm1F9IL91Lvi/view
by David C. Levy

Spark Examples
https://brie.com/brian/teaches/spark/

Brandon, Carl et al,
CubedOS: A SPARK Message Passing Framework for CubeSat Flight Software
http://lemuria.cis.vtc.edu/CubeSat/PUBLIC/SPARK-Frama-C-Day-2017.pdf
Accessed July 5, 2023.

Alire, First Steps
https://alire.ada.dev/docs/#first-steps
Accessed July 5, 2023.