@article{BCDE09,
author = {D.~Basin and M.~Clavel and J.~Doser and M.~Egea},
title = {Automated analysis of security-design models},
journal = {Information and Software Technology},
volume = {51},
number = {5},
issn = {0950-5849},
pages = {815--831},
doi = {http://dx.doi.org/10.1016/j.infsof.2008.05.011},
publisher = {Elsevier},
projects = {MERIT,PROMESAS,STAMP},
butype = {},
year = {2009}
}