Reliable Software Technologies - Ada-Europe '99 LNCS 1622 1999

• Chapman, Roderick and Dewar, Robert (1999) Chapman, Roderick and Dewar, Robert "Re-engineering a safety-critical system with SPARK95 and GNORT"