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