A calculus of hazard for railway signalling. - Michael Ingleby; David J. Mee (WIFT, 1995)