AMBRA - Automated Model-Based Risk Analysis