Metric Temporal Logic with Resettable Skewed Clocks | IEEE Conference Publication | IEEE Xplore