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