Reliable Software Technologies - Ada Europe '98 by Joke van Leeuwen