OnTrack: An Open Tolling Environment for Railway Verification7839110/01/2017 18:05:32This paper introduces a first approach at developing a design methodology for creating domain specific languages focused towards modelling and verification STS_ListItem_15500https://www.sparkrail.org/Lists/Records/Records by ID 24000 28000.aspx0https://www.sparkrail.org10/01/2017 18:05:32False48;048~sitecollection/_catalogs/masterpage/Display Templates/Search/Spark_Publication_Item.js
FuTRO: DITTO Good Practice Guide (T1071 Report)35245901/06/2018 09:15:22<?xml version="1.0" encoding="utf-16"?> <RecordAttachmentCollection xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" OrderBy STS_ListItem_15500https://www.sparkrail.org/Lists/Records/Records by ID 24000 28000.aspx0https://www.sparkrail.org01/06/2018 09:15:22False48;048~sitecollection/_catalogs/masterpage/Display Templates/Search/Spark_Publication_Item.js
FuTRO: DITTO Project - Summary of Findings (T1071 Report)35294701/06/2018 09:15:29<?xml version="1.0" encoding="utf-16"?> <RecordAttachmentCollection xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" OrderBy STS_ListItem_15500https://www.sparkrail.org/Lists/Records/Records by ID 24000 28000.aspx0https://www.sparkrail.org01/06/2018 09:15:29False48;048~sitecollection/_catalogs/masterpage/Display Templates/Search/Spark_Publication_Item.js
Chronic effects of shift work on cognition: findings from the VISAT longitudinal study35707907/01/2017 01:12:50Occupational and Environmental Medicine November 2014 Objectives Shift work, like chronic jet lag, is known to disrupt workers’ normal circadian rhythms and social life, and to be STS_ListItem_15500https://www.sparkrail.org/Lists/Records/Records by ID 24000 28000.aspx0https://www.sparkrail.org07/01/2017 01:12:50False48;048~sitecollection/_catalogs/masterpage/Display Templates/Search/Spark_Publication_Item.js
Improving Processes and Policies in the UK Railway Industry35765407/01/2017 01:14:59The UK Rail Industry has set itself a target of increasing capacity by a factor of two within 30 years for both passengers and freight A central problem is to increase the capacity STS_ListItem_15500https://www.sparkrail.org/Lists/Records/Records by ID 24000 28000.aspx0https://www.sparkrail.org07/01/2017 01:14:59False48;048~sitecollection/_catalogs/masterpage/Display Templates/Search/Spark_Publication_Item.js
DITTO: Interim Report and Prototype Tools (Report T1071)35816901/06/2018 09:12:48This milestone constitutes the approximate halfway point in the DITTO project It demonstrates the progress we have made in developing a stochastic optimisation scheduling model to STS_ListItem_15500https://www.sparkrail.org/Lists/Records/Records by ID 24000 28000.aspx0https://www.sparkrail.org01/06/2018 09:12:48False48;048~sitecollection/_catalogs/masterpage/Display Templates/Search/Spark_Publication_Item.js

~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js
~sitecollection/_catalogs/masterpage/Display Templates/Search/Item_Default.js