Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies - Vardanega