An Edit-Distance Model for the Approximate Matching of Timed Strings | IEEE Journals & Magazine | IEEE Xplore