Reliable Software Technologies - Ada-Europe 2004 by A. Llamosi