A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs