Expressiveness of MTL with Past Operators -- Simulator for Real-Time Abstract State