Reliable Software Technologiey – Ada-Europe 2010 - Real, Jorge; Kanade, Takeo; Vardanega, Tullio; Kittler, Josef (Springer Berlin Heidelberg, 2010)