Title: The procurement of safety critical software in defence equipment