Reliable Software Technologies . Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings - Alexander Romanovsky, Tullio Vardanega ((Lecture Notes in Computer Science))