Reliable Software Technologies - Ada-Europe 2011 - Romanovsky, Alexander; Kanade, Takeo; Vardanega, Tullio; Kittler, Josef (Springer Berlin Heidelberg, 2011)