Stefan Blom Natalia Ioustinova Jaco van de Pol Axel Rennoch Natalia Sidorova Simulated Time for Testing Railway Interlockings with TTCN-3. 1-15 2005 conf/fates/2005 FATES http://dx.doi.org/10.1007/11759744_1 db/conf/fates/fates2005.html#BlomIPRS05