Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen: Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371