modeling ice-formation-in-eems