openETCS/validation — pull request #26 by srieger (2013-07-10 15:00:15+00:00)
Title: Added contribution about timed verification (Sct. 5)

Added contribution about timed verification (Sct. 5)