Jens R. Calame Nicolae Goga Natalia Ioustinova Jaco van de Pol TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. 620-623 2006 conf/ccece/2006 CCECE http://dx.doi.org/10.1109/CCECE.2006.277762 db/conf/ccece/ccece2006.html#CalameGIP06