A Testing Theory for Real-time Systems
by Chun Dai and Stefan D Bruda, Includes the material from A Testing Framework for Real-Time Specifications (SEA 2008), Timed Test Generation Based on Timed Temporal Logic (ICAI 2010) and A Testing Theory for Real-Time Systems (International Journal of Computers).
An preliminary version is available.
