Safety Assurance in Interlocking Design

Matthew John Morley

Doctor of Philosophy

University of Edinburgh

1996