InstitutionDoi/1879

Title	Trace Diagnostics for Signal-Based Temporal Properties
DOI	https://doi.org/10.1109/tse.2023.3242588
Raw Affiliation	McMasterUniversity, Hamilton, ON, Canada
Clean Page Target	McMasterUniversity, Hamilton, ON, Canada