Time-dependent observables in heavy ion collisions. Part I. Setting up the formalism | Synapse