Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples (inspirel.com)

The article provides a tutorial on using Ada and SPARK to program ARM Cortex-M microcontrollers, including example projects using Arduino and Nucleo boards. It walks through a structured set of embedded programming topics and references accompanying downloadable code and documentation/tools.