CoSMeDis.Safety_Properties