Reliability and safety of railway signalling and interlocking devices
On the impact of deferred repair on the expected number of system failures - A stochastic model
A novel adaptive traffic controller based on Hidden Markov Model and answer set programming