Physically based parameterization of cirrus cloud formation for use in global atmospheric models | Synapse