Analyses of robot systems using fault and event trees: case studies · Study