Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on set theory, and is thus suitable for use by programmers with little formal methods experience.
['Colin J. Fidge', 'Ian J. Hayes', 'Andrew P. Martin', 'Axel Wabenhorst']
A Set-Theoretic Model for Real-Time Specification and Reasoning