Quantitative modelling of type Ia supernovae spectral time series: Constraining the explosion physics | Synapse