A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control | IEEE Journals & Magazine | IEEE Xplore