https://www.helihub.com/2009/09/10/general-dynamics-uk-selects-spark-language-for-aw159-lynx-wildcat/
HeliHub.com : General Dynamics UK selects SPARK language for AW159 Lynx Wildcat - HeliHub.com
Sep 10, 2009 - Praxis, the international specialist in critical systems engineering and assurance, today announced that General Dynamics UK has selected Praxis’ SPARK...
general dynamics ukspark languagelynx wildcatselects