Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings - Romanovsky, Alexander; Vardanega, Tullio (Springer Berlin Heidelberg, 2011)