For those who wish to bite the bullet: two main issues must be dealt with. 1] how do we do physics without change? 2] how do we explain phenomenology of temporality? -cf. Earman 2002a and problems for physicalists in dealing with these two issues.
Healey 2002, 2004: there can be B-series change in standard formulation of GR [can be diff properties at diff times]. Change can emerge from unchanging fund. reality — likewise in Hamiltonian formulation: just accept that physical content is not fully captured by Dirac observables. Change must be characterize wrt frame of reference, and cannot be captured by fundamental properties which are by construction frame-indep