Security Modeling and Tool Support Advantages. - Egil Trygve Baadshaug; Gencer Erdogan; Per Håkon Meland (ARES, 2010)