A novel adaptive traffic controller based on Hidden Markov Model and answer set programming
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