Reliable Software Technologies -- Ada-Europe 2012 - e-bok, Engelska, 2012