Praxis Critical System’s Approach and the SPARK Language
		By Erik Reeber