Benini, Marco, Carmona, Victor, Schenkel, Alexander, "Strictification theorems for the homotopy time-slice axiom", Letters in Mathematical Physics, 2023