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