A finite element model for cryosurgery with coupled phase change and thermal stress aspects