Roderick Chapman, Robert Dewar: Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT. Ada-Europe 1999: 39-51