Reliability study of complex physical systems using SysML
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs