This link will take you to a page that’s not on LinkedIn

Because this is an external link, we’re unable to verify it for safety.

https://www.electronicdesign.com/technologies/embedded/software/article/55390069/adacore-demonstrating-spark-with-a-mars-rover-part-3-improving-the-system