Mikucionis, M., K. G. Larsen, and B. Nielsen. “Online On-the-Fly Testing of Real-Time Systems”. BRICS Report Series, vol. 10, no. 49, Dec. 2003, doi:10.7146/brics.v10i49.21821.