M. Mikucionis, K. G. Larsen, and B. Nielsen, “Online On-the-Fly Testing of Real-time Systems”, BRICS, vol. 10, no. 49, Dec. 2003.