Mikucionis, Marius, Kim G. Larsen, and Brian Nielsen. 2003. “Online On-the-Fly Testing of Real-Time Systems”. BRICS Report Series 10 (49). https://doi.org/10.7146/brics.v10i49.21821.