CARTRONIC-UML Models : Basis for Partially Automated Risk Analysis in Early Development Phases