W J Cullyer

A mathematical approach to the protection of grade crossings

W J Cullyer, W Wong, 1992 .

APPLICATION OF FORMAL METHODS TO RAILWAY SIGNALLING

W J Cullyer, J W Wise, 1989 .

High-Integrity Software for Automotive Applications

W J Cullyer, 1991 .

Hardware Proofs Using LCF-LSM and ELLA.

W J Cullyer, C H Pygott, 1985 .