1. Bennett, M.: SECT-AIR: Reducing engineering costs and timescales for aerospace software. High-Integrity Software 2017 (2017). https://www.his-conference.co.uk/session/sect-air-reducing-engineering-costs-and-timescales-for-aerospace-software. Accessed 20 Jan 2023
2. Bennett, M.: Introducing the HICLASS Research Programme - Enabling Development of Complex and Secure Aerospace Systems. High-Integrity Software 2019 (2019). https://www.his-conference.co.uk/session/hiclass-research-programme. Accessed 20 Jan 2023
3. Alloy Tools. http://alloytools.org. Accessed 13 Jan 2023
4. Lecture Notes in Computer Science;J Barnes,2018
5. Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall, Hoboken (1992)