"Simulated Time for Testing Railway Interlockings with TTCN-3."

Stefan Blom et al. (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics