Functional failure modes cause-consequence logic suited for mobile robots used at scientific facilities · Study