Marius Mikucionis Kim Guldstrand Larsen Brian Nielsen T-UPPAAL: Online Model-based Testing of Real-Time Systems. 396-397 2004 conf/kbse/2004 ASE http://csdl.computer.org/comp/proceedings/ase/2004/2131/00/21310396abs.htm db/conf/kbse/ase2004.html#MikucionisLN04