Use case model detail: check safety