Quantitative modelling of type Ia supernovae spectral time series: constraining the explosion physics