Towards a Practical Security Analysis Methodology. - van den Berghe, Alexander (ICSE: International Conference on Software Engineering, 2015)