Redirecting to https://consequently.org/slides/fixed-point-models-clmps-2015.pdf