Filtered NGSIM and Artificial Datasets used in the paper "A Compositional Paradigm for Read-time systems".