Reliable Software Technologies - Ada-Europe 2008 - Kordon, Fabrice (Springer Berlin Heidelberg, 2020)