Reliable Software Technologies – Ada-Europe 2011