Diary Entry: 2011-10-03 00:00:00 - 2011-10-03 00:00:00

Various people, including Markus, Nga and Phil, visit Invensys Rail to give demonstrations of tools created for Interlocking verification.