3 Giorgini, P. Massacci, F. Mylopoulos, J. 2003 Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard 22nd International Conference on Conceptual Modeling (ER 2003) Springer 2813 263