Optimizing verification effort with SPARK 2014. - Pavlos Efstathopoulos; Andrew Hawthorn (HILT, 2013)