What is known about regular proper models for smooth projective varieties over Q? Results for other global fields would also be interesting, as well as general comments and suggested references for integral models.

This is a followup to this question on smooth models, and here is part of what I wrote as an answer to the previous question: Nekovar's survey article on the Beilinson conjectures from the early 90s mentions some results for varieties over Q. He says in section 5.3 that given a smooth projective variety over Q, there always exists a proper flat model over Z, but that a regular such model is rarely known to exist. However, in the published version of the same survey, there is an added note at the very end of the article saying that "Spivakovsky recently announced a general result on resolution of singularities, which implies that a regular proper flat model of X mentioned in 5.3 always exist". However, I have never seen this result of Spivakovsky mentioned anywhere else, so I doubt that it is true. Does anyone else know more about this?

The survey is available here. For the published version, google "Serre Jannsen Motives", click at the Google Books link, and then search for "Spivakovsky" within the book.

Rational points on varietiesby B. Poonen. $\endgroup$