Automating Risk Analysis of Software Design Models. (18th June 2014)