Spark: The Proven Approach to High Integrity Software