Model Checking via Parametric Bootstraps in Time Series Analysis | Synapse