Reliable Software Technologies – Ada-Europe 2013 - Hutchison, David; Kanade, Takeo; Kittler, Josef; Klenk, Herbert (Springer Berlin Heidelberg, 2013)