Proceedings of 5th International Conference in Software Engineering for Defence Applications - Ciancarini, Paolo (Springer International Publishing, 2018)