Pošalji zapis e-mailom: Simulation and Model-Based Verification of an Emergency Strategy for Cable Failure in Cable Robots