Matthew J. Morley Safety-Level Communication in Railway Interlockings. 147-170 1997 29 Sci. Comput. Program. 1-2 db/journals/scp/scp29.html#Morley97