I'm reading Building High Integrity Applications with Ada and SPARK [1].
[1] https://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/building-high-integrity-applications-spark?format=PB&isbn=9781107656840