Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015 Ciancarini Paolo Heftet / 2016 / Engelsk