Text this: A methodology for modelling and analysis of secure systems using security patterns and mitigation use cases