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